scripts: script for publishing to the website

This commit is contained in:
Mitchell Hashimoto 2013-06-20 14:48:57 -07:00
parent a68f6bf6de
commit e9593bf49e

12
scripts/website_push.sh Executable file
View file

@ -0,0 +1,12 @@
#!/bin/bash
# Get the parent directory of where this script is.
SOURCE="${BASH_SOURCE[0]}"
while [ -h "$SOURCE" ] ; do SOURCE="$(readlink "$SOURCE")"; done
DIR="$( cd -P "$( dirname "$SOURCE" )/.." && pwd )"
# Change into that directory
cd $DIR
# Push the subtree (force)
git push heroku `git subtree split --prefix website master`:master --force