source/script/uninstallscripts.sh

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