submit.sh self-documents all changes

submit.sh

@@ -88,6 +88,23 @@ function run (){
   sleep 1
 }
 
+if ! git ls-files 2>&1 > /dev/null ; then
+  echo "Warning! not a git repository, no self-tracking"
+else
+  echo "Git rev is `git rev-parse --short HEAD` (branch `git rev-parse --abbrev-ref HEAD`)"
+  if [ -z "$(git status --porcelain)" ]; then
+    echo "Working directory clean"
+  else
+    patchpath=`dirname $this`/diff-`git rev-parse --short HEAD`-${SLURM_JOB_ID}.patch.gz
+    git diff | gzip > $patchpath
+    patchsize=`git diff | wc -c`
+    csize=`wc -c $patchpath`
+    echo "There are uncommitted changes. I have created"
+    echo "   $patchpath ($patchsize byte > $csize)"
+    echo "with the differences to `git rev-parse --short HEAD`."
+  fi
+fi
+
 time {
   #$1: config file
   #$2: seed