deploy.sh

#!/usr/bin/env bash

# exit with nonzero exit code if anything fails
set -e

# Local variables
OUT="$(pwd)/.gh-pages"
ID=$(git rev-parse --short HEAD)
DATE=$(date)

# clear and re-create the out directory
rm -rf $OUT || exit 0;

# create repo directory
mkdir -p $OUT

# Deploy basic snake
cd basic-snake
cp -R target/* $OUT
cd ..

# Deploy quil-snake
mkdir -p $OUT/quil
cd quil-snake
cp -R target/* $OUT/quil
cd ..

# Deploy slides
mkdir -p $OUT/slides
cd slides
cp -R target/* $OUT/slides
cd ..

# Deploy project info
cp -f circle.yml $OUT
cp -f README.md $OUT

# go to the out directory and create a *new* Git repo
cd $OUT
git init

# inside this git repo we'll pretend to be a new user
git config user.name "CI-Server"
git config user.email "coldnew.tw@gmail.com"

# We permit following exit with error
set +e

# 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 commit $ID to GitHub Pages: $DATE"

# 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.
set -e
git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1