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