source3/script/uninstallbin.sh.in

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