4-publish.sh

#!/bin/bash
set -e

echo "Verifying location of Scratch source is known"
if [ -z "$SCRATCH_SRC_HOME" ]; then
    echo "Error: SCRATCH_SRC_HOME environment variable is not set."
    exit 1
fi

echo "Checking that Scratch has been patched"
if [ ! -f "$SCRATCH_SRC_HOME/patched" ]; then
    echo "Scratch has not yet been patched. Run ./0-setup.sh"
    exit 1
fi

# allow this script to be run from other locations, despite the
#  relative file paths used in it
if [[ $BASH_SOURCE = */* ]]; then
  cd -- "${BASH_SOURCE%/*}/" || exit
fi

echo "Commit any changes"
git add your-scratch-extension
git add dependencies
git commit -m "Update"
git push origin master

echo "Building the Scratch fork"
./2-build.sh

echo "Preparing a gh-pages branch"
DEVBRANCH=$(git rev-parse --abbrev-ref HEAD)
if git rev-parse --verify gh-pages >/dev/null 2>&1
then
  git checkout gh-pages
else
  git checkout -b gh-pages
fi

echo "Preparing a publish folder"
if [ -d "scratch" ]
then
  rm -rf ./scratch/*
else
  mkdir scratch
fi

echo "Publishing the Scratch fork"
cp -rf $SCRATCH_SRC_HOME/scratch-gui/build/* ./scratch/.
git add scratch
git commit -m "Update"
git push origin gh-pages

echo "Returning to dev branch"
git checkout $DEVBRANCH