scripts: script for publishing to the website

2013-06-20 14:48:57 -07:00 · 2013-06-20 14:48:57 -07:00 · c4120ddee0
parent 957ebe9234
commit c4120ddee0
1 changed files with 12 additions and 0 deletions
--- a/scripts/website_push.sh
+++ b/scripts/website_push.sh
@ -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