summaryrefslogtreecommitdiff
path: root/ci/publish-docs.sh
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2018-08-12 21:04:47 +0800
committerLi Haoyi <haoyi.sg@gmail.com>2018-08-12 21:05:21 +0800
commit9bf8c31fa9321558d7d02f6a5b687cd55a924e7f (patch)
tree3bcc2a918f6d0b8ad8f5f91adc21896175f3ec87 /ci/publish-docs.sh
parent57138509521e04f9e8ca8ca77472fee4578aa49a (diff)
downloadcask-9bf8c31fa9321558d7d02f6a5b687cd55a924e7f.tar.gz
cask-9bf8c31fa9321558d7d02f6a5b687cd55a924e7f.tar.bz2
cask-9bf8c31fa9321558d7d02f6a5b687cd55a924e7f.zip
0.0.10.0.1
Diffstat (limited to 'ci/publish-docs.sh')
-rwxr-xr-xci/publish-docs.sh20
1 files changed, 20 insertions, 0 deletions
diff --git a/ci/publish-docs.sh b/ci/publish-docs.sh
new file mode 100755
index 0000000..869f2e8
--- /dev/null
+++ b/ci/publish-docs.sh
@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+
+set -eux
+
+curl -L -o ~/bin/amm https://github.com/lihaoyi/Ammonite/releases/download/1.1.0/2.12-1.1.0 && chmod +x ~/bin/amm
+
+cd docs
+
+echo $GITHUB_DEPLOY_KEY | base64 --decode > deploy_key
+
+eval "$(ssh-agent -s)"
+chmod 600 deploy_key
+ssh-add deploy_key
+rm deploy_key
+
+
+git config --global user.email "haoyi.sg+travis@gmail.com"
+git config --global user.name "Ammonite Travis Bot"
+
+amm build.sc --publish true \ No newline at end of file