1#!/bin/sh 2# 5 July 96 Dan.Shearer@UniSA.Edu.Au - almost identical to uninstallbin.sh 3 4INSTALLPERMS=$1 5BINDIR=`echo $2 | sed 's/\/\//\//g'` 6 7shift 8shift 9 10if [ ! -d $BINDIR ]; then 11 echo Directory $BINDIR does not exist! 12 echo Do a "make installscripts" or "make install" first. 13 exit 1 14fi 15 16for p in $*; do 17 p2=`basename $p` 18 if [ -f $BINDIR/$p2 ]; then 19 echo Removing $BINDIR/$p2 20 rm -f $BINDIR/$p2 21 if [ -f $BINDIR/$p2 ]; then 22 echo Cannot remove $BINDIR/$p2 ... does $USER have privileges? 23 fi 24 fi 25done 26 27cat << EOF 28====================================================================== 29The scripts have been uninstalled. You may reinstall them using 30the command "make installscripts" or "make install" to install binaries, 31man pages and shell scripts. You may recover a previous version (if any 32with "make revert". 33====================================================================== 34EOF 35 36exit 0 37