zrepl/docs/publish.sh

#!/bin/bash
set -euo pipefail

NON_INTERACTIVE=false
DO_CLONE=false
PUSH=false
while getopts "caP" arg; do
    case "$arg" in
        "a")
            NON_INTERACTIVE=true
            ;;
        "c")
            DO_CLONE=true
            ;;
        "P")
            PUSH=true
            ;;
        *)
            echo "invalid option '-$arg'"
            exit 1
            ;;
    esac
done

GHPAGESREPO="git@github.com:zrepl/zrepl.github.io.git"
SCRIPTDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
PUBLICDIR="${SCRIPTDIR}/public_git"

checkout_repo_msg() {
    echo "clone ${GHPAGESREPO} to ${PUBLICDIR}:"
}

if ! type sphinx-multiversion >/dev/null; then
    echo "install sphinx-multiversion and come back"
    exit 1
fi

cd "$SCRIPTDIR"

if [ ! -d "$PUBLICDIR" ]; then
    checkout_repo_msg
    if $DO_CLONE; then
        git clone "${GHPAGESREPO}" "${PUBLICDIR}"
    else
        exit 1
    fi
fi

if $NON_INTERACTIVE; then
    echo "non-interactive mode"
else
    echo -n "PRESS ENTER to confirm you commited and pushed docs changes and tags to the zrepl repo"
    read -r
fi

pushd "$PUBLICDIR"

echo "verify we're in the GitHub pages repo..."
git remote get-url origin | grep -E "^${GHPAGESREPO}\$"
if [ "$?" -ne "0" ] ;then
    checkout_repo_msg
    echo "finished checkout, please run again"
    exit 1
fi

echo "resetting GitHub pages repo to latest commit"
git fetch origin
git reset --hard origin/master

echo "cleaning GitHub pages repo"
git rm -rf .
cat > .gitignore <<EOF
**/.doctrees
EOF

popd

echo "building site"

python3 run-sphinx-multiversion.py . ./public_git


CURRENT_COMMIT=$(git rev-parse HEAD)
git status --porcelain
if [[ "$(git status --porcelain)" != "" ]]; then
    CURRENT_COMMIT="${CURRENT_COMMIT}(dirty)"
fi
COMMIT_MSG="render from publish.sh - $(date -u) - ${CURRENT_COMMIT}"

pushd "$PUBLICDIR"

echo "adding and commiting all changes in GitHub pages repo"
git add .gitignore
git add -A
if [ "$(git status --porcelain)" != "" ]; then
    git commit -m "$COMMIT_MSG"
else
    echo "nothing to commit"
fi

if $PUSH; then
    echo "pushing to GitHub pages repo"
    git push origin master
else
    echo "not pushing to GitHub pages repo, set -P flag to push"
fi