source3/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=$2
   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   if [ ! -f $BINDIR/$p ]; then
  18     echo $BINDIR/$p does not exist!
  19   else
  20     echo Removing $BINDIR/$p
  21     rm -f $BINDIR/$p
  22     if [ -f $BINDIR/$p ]; then
  23       echo Cannot remove $BINDIR/$p... does $USER have privileges?
  24     fi
  25   fi
  26 done
  27
  28 cat << EOF
  29 ======================================================================
  30 The scripts have been uninstalled. You may reinstall them using
  31 the command "make installscripts" or "make install" to install binaries,
  32 man pages and shell scripts. You may recover a previous version (if any
  33 with "make revert".
  34 ======================================================================
  35 EOF
  36
  37 exit 0