1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
#!/usr/bin/env bash
set -e
set -x
git_ref=${GITHUB_REF}
if [[ $git_ref != "refs/heads/main" ]]; then
# Development version
dest_branch=${git_ref}
deploy_repo="git@gitlab.com:lfortran/web/docs.lfortran.org-testing.git"
else
# Release version
dest_branch="master"
deploy_repo="git@github.com:lfortran/docs.lfortran.org.git"
fi
mkdir ~/.ssh
chmod 700 ~/.ssh
ssh-keyscan gitlab.com >> ~/.ssh/known_hosts
ssh-keyscan github.com >> ~/.ssh/known_hosts
eval "$(ssh-agent -s)"
set +x
if [[ "${SSH_PRIVATE_KEY_DOCS}" == "" ]]; then
echo "Note: SSH_PRIVATE_KEY_DOCS is empty, skipping..."
exit 0
fi
# Generate the private/public key pair using:
#
# ssh-keygen -f deploy_key -N ""
#
# then set the $SSH_PRIVATE_KEY_DOCS environment variable in the GitLab-CI to
# the base64 encoded private key:
#
# cat deploy_key | base64 -w0
#
# and add the public key `deploy_key.pub` into the target git repository (with
# write permissions).
ssh-add <(echo "$SSH_PRIVATE_KEY_DOCS" | base64 -d)
set -x
D=`pwd`
mkdir $HOME/repos
cd $HOME/repos
git clone ${deploy_repo} docs-deploy
cd docs-deploy
rm -rf docs
mkdir docs
echo "docs.lfortran.org" > docs/CNAME
touch docs/.nojekyll
cp -r $D/site/* docs/
git config user.name "Deploy"
git config user.email "noreply@deploy"
COMMIT_MESSAGE="Deploying on $(date "+%Y-%m-%d %H:%M:%S")"
git add docs
git commit -m "${COMMIT_MESSAGE}"
git push origin +master:$dest_branch
|
