source/script/uninstallmodules.sh

   1 #!/bin/sh
   2 #4 July 96 Dan.Shearer@UniSA.edu.au
   3
   4 INSTALLPERMS=$1
   5 BASEDIR=$2
   6 LIBDIR=$3
   7 shift
   8 shift
   9 shift
  10
  11 if [ ! -d $LIBDIR ]; then
  12   echo Directory $LIBDIR does not exist!
  13   echo Do a "make installmodules" or "make install" first.
  14   exit 1
  15 fi
  16
  17 for 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
  26 done
  27
  28
  29 cat << EOF
  30 ======================================================================
  31 The modules have been uninstalled. You may restore the modules using
  32 the command "make installmodules" or "make install" to install
  33 binaries, modules, man pages and shell scripts.
  34 ======================================================================
  35 EOF
  36
  37 exit 0