source/script/revert.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/bin/sh
BINDIR=$1
shift

for p in $*; do
 if [ -f $BINDIR/$p.old ]; then
   echo Restoring $BINDIR/$p.old as $BINDIR/$p
   mv $BINDIR/$p $BINDIR/$p.new
   mv $BINDIR/$p.old $BINDIR/$p
   rm -f $BINDIR/$p.new
 fi
done

exit 0