#!/bin/zsh REV_OLD=`cat git_rev.txt` git rev-list --all HEAD --all --count > git_rev.txt REV_NEW=`cat git_rev.txt` echo "$REV_OLD" echo "$REV_NEW" RESULT=FALSE if [ ${REV_OLD} -ne ${REV_NEW} ] ; then RESULT=TRUE fi echo $RESULT > result.txt