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