source/script/revert.sh

   1 #!/bin/sh
   2 BINDIR=$1
   3 shift
   4
   5 for p in $*; do
   6  if [ -f $BINDIR/$p.old ]; then
   7    echo Restoring $BINDIR/$p.old as $BINDIR/$p
   8    mv $BINDIR/$p $BINDIR/$p.new
   9    mv $BINDIR/$p.old $BINDIR/$p
  10    rm -f $BINDIR/$p.new
  11  fi
  12 done
  13
  14 exit 0
  15