1
#!/usr/bin/env bash
2

3
# copy website to build
4
cp -R common/src/web build
5

6
# switch to gh-pages and copy the files
7
git checkout gh-pages || exit
8
# make sure that our local version is up to date.
9
git pull || exit
10

11
rm -rf web
12
mv build/web web
13

14
git add -A web
15

16
read -p "Do you want to commit the changes? (Y/n):" changes </dev/tty
17

18
if [ -z $changes ]; then
19
  changes=Y
20
fi
21

22
case "$changes" in
23
Y | y) echo "" ;;
24
N | n) exit ;;
25
*) exit ;;
26
esac
27

28
echo "Committing changes"
29
git commit -am "updating test website code"
30

31
echo "pushing to origin gh-pages"
32
git push origin gh-pages
33

34
echo "switching back to trunk branch"
35
git checkout trunk
36

37