publish.sh

#!/bin/sh
##
## Publish onto Github Pages, providing an easy way to publish.
##
## Prepare: creating gh-pages branch at local and remote.
##   $ jekyll
##   $ git co -b gh-pages
##   $ git ls-files | xargs git rm
##   $ mv _site/* .
##   $ git add .
##   $ git ci -m -
##   $ git push <remote> gh-pages:gh-pages
##
username=tmtk75
gh_pages=gh-pages
repository_name=`git remote -v | grep github.com:$username | sed "s#^.*$username/##" | awk '{print $1}' | uniq`
[email protected]:$username/${repository_name}

cat<<EOF
--------------------------------------------------------------------------------
Publish Github Pages for $repository_name@$username
Guessed repository name: $repository_name
Repository URL: $repository_url
EOF

exit

echo "-------- Generating with Jekyll"
jekyll --base-url=/$repository_name

echo "-------- Cloning"
tmpdir=`mktemp -u $TMPDIR/tmp.XXXXXX`
git clone -b $gh_pages . $tmpdir

( cd $tmpdir
  echo "-------- Synchronizing"
  git pull $repository_url $gh_pages:gh-pages)

cp -r _site/* $tmpdir

( cd $tmpdir
  git add .
  git ci -am -
  echo "-------- Pushing"
  git push $repository_url $gh_pages:gh-pages)

rm -rf $tmpdir
echo "-------- Done."