#!/bin/bash # Sync gradint build environment to SVN wget -N http://people.pwf.cam.ac.uk/ssb22/gradint/gradint-build.7z || exit 1 rm -rf gradint 7z x gradint-build.7z || exit 1 diff -r gradint-build gradint|grep "^Only in gradint-build"|grep -v \\.svn|sed -e 's,Only in ,svn del ",' -e 's,: ,/,' -e 's/$/"/'|bash cp -pur gradint/* gradint-build/ find gradint|grep -v \\.svn|sed -e 's/gradint/gradint-build/' -e 's/^/svn add "/' -e 's/$/"/'|bash rm -rf gradint gradint-build.7z # if need to save space if test "a$Msg" == a; then export Msg="Gradint update"; fi svn commit -m "$Msg"