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
67
68
69
70
71
72
73
74
75
76
77
78
79
|
#!/bin/bash
set -e
set -u
if [[ "${TRAVIS_REPO_SLUG:-}" != "haskell/haskell-mode" ]]; then
echo "TRAVIS_REPO_SLUG is '${TRAVIS_REPO_SLUG:-}' expected 'haskell/haskell-mode'"
echo "Manual deployment available only directly for 'haskell/haskell-mode' repo"
exit 0
fi
if [[ "${TRAVIS_BRANCH:-}" != "master" && "${TRAVIS_BRANCH:-}" != branch-* ]]; then
echo "TRAVIS_BRANCH is '${TRAVIS_BRANCH:-}' expected 'master' or 'branch-*'"
echo "Manual deployment available only for 'master' branch"
exit 0
fi
if [[ -z "${GITHUB_DEPLOY_KEY_PASSPHRASE:-}" ]]; then
echo "GITHUB_DEPLOY_KEY_PASSPHRASE must be set to passphrase for github deploy key"
echo "Pull requests do not have access to secure variables"
exit 0
fi
if [[ ${GITHUB_DEPLOY_KEY_PASSPHRASE:-} != "skip" ]]; then
# Note: GITHUB_DEPLOY_KEY_PASSPHRASE comes from 'secure' section in .travis.yml
cp haskell-mode-travis-deploy-key haskell-mode-travis-deploy-key-plain
chmod 0600 haskell-mode-travis-deploy-key-plain
ssh-keygen -f haskell-mode-travis-deploy-key-plain -P $GITHUB_DEPLOY_KEY_PASSPHRASE -p -N ""
eval $(ssh-agent)
ssh-add haskell-mode-travis-deploy-key-plain
fi
# Git setup, this commit should appear as if Travis made it
export GIT_COMMITTER_EMAIL='travis@travis-ci.org'
export GIT_COMMITTER_NAME='Travis CI'
export GIT_AUTHOR_EMAIL='travis@travis-ci.org'
export GIT_AUTHOR_NAME='Travis CI'
# Documentation directory name
if [[ ${TRAVIS_BRANCH} == "master" ]]; then
DOCDIR="latest"
else
DOCDIR="${TRAVIS_BRANCH//branch-/}"
fi
HEAD_COMMIT=$(git rev-parse --short HEAD)
if [ -d gh-pages-deploy ]; then
rm -fr gh-pages-deploy
fi
git clone --quiet --depth 1 --branch=gh-pages "git@github.com:haskell/haskell-mode.git" gh-pages-deploy
cd gh-pages-deploy
if [[ -d "manual/${DOCDIR}" ]]; then
git rm -qr "manual/${DOCDIR}"
fi
cp -r ../html "manual/${DOCDIR}"
find "manual/${DOCDIR}" -name '*.html' -exec sed -i '~' -e '/^<\/head>$/i\
<script src="../../index.js"> </script>
' \{} \;
find "manual/${DOCDIR}" -name '*~' -exec rm \{} \;
git add "manual/${DOCDIR}"
if [[ ${GITHUB_DEPLOY_KEY_PASSPHRASE:-} != "skip" ]]; then
(git commit -m "Update manual for '${DOCDIR}' from haskell/haskell-mode@${HEAD_COMMIT}" && git push origin gh-pages) || true
else
echo "Update manual for '${DOCDIR}' from haskell/haskell-mode@${HEAD_COMMIT}"
fi
cd ..
if [[ ${GITHUB_DEPLOY_KEY_PASSPHRASE:-} != "skip" ]]; then
rm -fr gh-pages-deploy
eval $(ssh-agent -k)
fi
echo Done!
|
