planetlab/check_planetlab_sync

   1 #!/bin/sh
   2
   3 #
   4 # This script is used to check the sync of the local repo
   5 # with the remote planetlab repository
   6
   7 tmpfile=/tmp/chech_planetlab_sync.tmp
   8
   9 # check for local copy sync
  10 svn diff > /tmp/chech_planetlab_sync.tmp
  11 if [ -s $tmpfile ] ; then
  12         echo "Local repo unsynced, can not continue"
  13         exit -1
  14         rm $tmpfile
  15 fi
  16
  17 # export remote copy
  18 svn --force export http://svn.planet-lab.org/svn/ipfw/trunk ./ >> /dev/null
  19
  20 # check diffs again, output to the user
  21 svn diff
  22 svn status | grep -v check_planetlab_sync