#!/bin/bash set -e FILE=$1 if [ "x$FILE" == "x" ]; then echo "Usage: $0 file" exit 1 fi COMMIT=`git log -1 | head -n1 | cut -d ' ' -f2` SHORT_COMMIT=`git log -1 --oneline | cut -d ' ' -f1` cat > $FILE.new <> /dev/null || CHANGED=1 if [ $CHANGED -eq 1 ]; then mv $FILE.new $FILE echo "Updated $FILE ($COMMIT $SHORT_COMMIT)" else rm $FILE.new echo "$FILE does not require updating" fi fi