Deploy book to GitHub Pages build

Author: leios

contents/IFS/IFS.html

@@ -0,0 +1,76 @@
+#!/usr/bin/env bash
+
+# update_site_travis.bash: Update a GitHub repo with the book build
+# products.
+
+GH_TOKEN=$1
+
+set -o errexit
+
+DOCS_BRANCH_NAME=master
+DOCS_REPO_NAME=algorithm-archivists.github.io
+DOCS_REPO_OWNER=algorithm-archivists
+
+BOOK_BUILD_DIR=_book
+
+# Required environment variables:
+# - DOCS_BRANCH_NAME: name of the remote branch serving the book
+# - DOCS_REPO_NAME: name of the remote repo
+# - DOCS_REPO_OWNER: name of the remote repo's owner
+# - GH_TOKEN: [secret] Personal Access Token
+
+bold=$(tput bold)
+normal=$(tput sgr0)
+
+if [[ -z ${DOCS_BRANCH_NAME+x} ]]; then
+    echo "${bold}\$DOCS_BRANCH_NAME is not set!${normal}"
+    exit 1
+elif [[ -z ${DOCS_REPO_NAME+x} ]]; then
+    echo "${bold}\$DOCS_REPO_NAME is not set!${normal}"
+    exit 1
+elif [[ -z ${DOCS_REPO_OWNER+x} ]]; then
+    echo "${bold}\$DOCS_REPO_OWNER is not set!${normal}"
+    exit 1
+elif [[ -z ${GH_TOKEN+x} ]]; then
+    echo "${bold}\$GH_TOKEN is not set!${normal}"
+    exit 1
+fi
+
+git config --global user.name "James Schloss"
+git config --global user.email "jrs.schloss@gmail.com"
+
+GH_REPO_REF="github.com/${DOCS_REPO_OWNER}/${DOCS_REPO_NAME}.git"
+
+# Assume the book has already been built and lives in $BOOK_BUILD_DIR.
+book_check_file="${BOOK_BUILD_DIR}/index.html"
+
+if [[ ! -d "${BOOK_BUILD_DIR}" ]]; then
+    echo "" >&2
+    echo "${bold}Warning: The book directory wasn't found!${normal}" >&2
+    echo "${bold}Warning: Not going to push the book to GitHub!${normal}" >&2
+    exit 1
+elif [[ ! -f "${book_check_file}" ]]; then
+    echo "${bold}${book_check_file} not found!${normal}" >&2
+    echo "${bold}${BOOK_BUILD_DIR} is present though.${normal}" >&2
+    exit 1
+else
+    echo "${bold}Cloning the website repo...${normal}"
+    git clone -b "${DOCS_BRANCH_NAME}" https://git@"${GH_REPO_REF}"
+    rm -rf ./"${DOCS_REPO_NAME}"/*
+    cp -a "${BOOK_BUILD_DIR}"/* ./"${DOCS_REPO_NAME}"
+    pushd ./"${DOCS_REPO_NAME}"
+    echo "www.algorithm-archive.org" > CNAME
+    echo "${bold}Adding changes...${normal}"
+    git add --all
+    echo "${bold}Committing...${normal}"
+    # This will return 1 if there are no changes, which should not
+    # result in failure.
+    #git config user.email "jrs.schloss@gmail.com"
+    #git config user.name "James Schloss"
+    git commit -m "Deploy book to GitHub Pages build" || ret=$?
+    git push "https://${GH_TOKEN}@${GH_REPO_REF}"
+    #git push "https://${GH_REPO_REF}"
+    #Username: leios
+    #Password: GH_TOKEN
+    popd
+fi