#!/bin/sh # push to git, create a new build from scratch, post it on webserver, # and print the short git hash (for copy/pasting into irc). # "naptime" is a shell script that you don't have :) git push && make distclean all || exit 1 #URL="$( naptime taipan.xex | sed 's,urchlay.naptime.net,204.9.204.226,' )" URL="$( naptime taipan.xex )" REV="$( git rev-parse --short HEAD )" echo "build ID $REV at $URL"