#!/usr/bin/env bash # Abort on first error set -e # Directories SITE_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" ROOT_DIR="$SITE_DIR/.." BUILD_DIR="$SITE_DIR/build" DIST_DIR="$BUILD_DIR/dist" PAGES_DIR="$BUILD_DIR/pages" # Init options GRADLE_OPT= PUSH_OPT= # Set dry run if needed if [ "$2" == "push" ] ; then echo "--- Doing LIVE site deployment, so do clean build" GRADLE_OPT=clean else echo "--- Doing dry-run. To commit do 'deploy.sh push'" PUSH_OPT=--dry-run fi # Makes sure that site is built "$ROOT_DIR/gradlew" $GRADLE_OPT site # Cleanup dist directory (and ignore errors) rm -rf "$PAGES_DIR" || true # Prune worktrees to avoid errors from previous attempts git --work-tree "$ROOT_DIR" worktree prune # Create git worktree for gh-pages branch git --work-tree "$ROOT_DIR" worktree add -B gh-pages "$PAGES_DIR" origin/gh-pages # Now work in newly created workspace cd "$PAGES_DIR" # Fixup all the old documentation files # Remove non-.html files git rm `find . -type f -not -name '*.html' -not -name '.git'` > /dev/null # Replace "experimental" .html files with links to the corresponding non-experimental version # or remove them if there is no corresponding non-experimental file echo "Redirecting experimental pages" git_add=() git_rm=() for file in `find . -type f -name '*.html'` ; do match=nothing_is_found if [[ $file =~ \.experimental ]] ; then match="${file//\.experimental/}" fi if [[ -f "$DIST_DIR/$match" ]] ; then # redirect to non-experimental version echo "" > "$file" git_add+=("$file") else # redirect not found -- remove the file git_rm+=("$file") fi done git add "${git_add[@]}" git rm "${git_rm[@]}" > /dev/null # Copy new documentation from dist cp -r "$DIST_DIR"/* "$PAGES_DIR" # Add it all to git git add * # Commit docs for the new version if [ -z "$1" ] ; then echo "No argument with version supplied -- skipping commit" else git commit -m "Version $1 docs" git push $PUSH_OPT origin gh-pages:gh-pages fi