coursebook/_scripts/deploy.sh

#!/bin/bash

set -e;

if test $BUILD_FOCUS = WIKI; then
    # Set environment variables used in the next script
    export NUM_RETRIES=3;
    export BUILD_TIME=10;
    export CLONE_DIR=`mktemp -d`;

    # Run the actual script
    bash _scripts/push_to_wiki.sh;
else
    # Copy main to a tempfile, so we don't get any checkout errors
    TMP_FILE=`mktemp`;
    cp main.pdf $TMP_FILE;

    # Set up ssh 
    git config --global core.sshCommand "ssh -i /tmp/deploy_wiki -F /dev/null";

    # Grab an orphaned branch, so git doesn't calculate diffs
    git checkout --orphan pdf_deploy;

    # Remove all other files, we won't need them
    rm -rf *;

    # Copy the tempfile back to the coursebook pdf
    cp $TMP_FILE coursebook.pdf;

    # Git add commit
    git add -A;
    git commit -m "Adding coursebook";

    # Swap the https origin for the ssh origin so we can push
    OLD_ORIGIN=`git remote get-url origin`;
    git remote set-url origin git@github.com:${TRAVIS_REPO_SLUG}.git;
    git push origin --force pdf_deploy;

    # Swap it back
    git remote set-url origin ${OLD_ORIGIN};
fi