-
Notifications
You must be signed in to change notification settings - Fork 1
/
deploy.sh
34 lines (26 loc) · 1.01 KB
/
deploy.sh
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
#!/bin/bash
set -e # exit with nonzero exit code if anything fails
# clear and re-create the out directory
rm -rf site || exit 0;
mkdir site;
# build site
bash makesite.sh
# go to the site directory and create a *new* git repo
cd site
# fix absolute links
OLD='/static/'
NEW='./static/'
sed -i 's/$OLD/$NEW/g' index.html
git init
# inside this git repo we'll pretend to be a new user
git config user.name "Travis CI"
git config user.email "stodyshev@gmail.com"
# The first and only commit to this new git repo contains all the
# files present with the commit message "Deploy to GitHub Pages".
git add .
git commit -m "Deploy to GitHub Pages"
# Force push from the current repo's master branch to the remote
# repo's gh-pages branch. (All previous history on the gh-pages branch
# will be lost, since we are overwriting it.) We redirect any output to
# /dev/null to hide any sensitive credential data that might otherwise be exposed.
git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1