source/script/installscripts.sh

   1 #!/bin/sh
   2 # this script courtesy of James_K._Foote.PARC@xerox.com
   3 # 5 July 96 Dan.Shearer@UniSA.Edu.Au  Don't hardcode script names, get from Make
   4
   5 INSTALLPERMS=$1
   6 BINDIR=$2
   7
   8 shift
   9 shift
  10
  11 echo Installing scripts in $BINDIR
  12
  13 for d in $BINDIR; do
  14  if [ ! -d $d ]; then
  15   mkdir $d
  16   if [ ! -d $d ]; then
  17     echo Failed to make directory $d
  18     echo Have you run installbin first?
  19     exit 1
  20   fi
  21  fi
  22 done
  23
  24 for p in $*; do
  25   p2=`basename $p`
  26   echo Installing $BINDIR/$p2
  27   if [ -f $BINDIR/$p2 ]; then
  28     mv $BINDIR/$p2 $BINDIR/$p2.old
  29   fi
  30   cp $p $BINDIR/
  31   chmod $INSTALLPERMS $BINDIR/$p2
  32   if [ ! -f $BINDIR/$p2 ]; then
  33     echo Cannot copy $p2... does $USER have privileges?
  34   fi
  35 done
  36
  37 cat << EOF
  38 ======================================================================
  39 The scripts have been installed. You may uninstall them using
  40 the command "make uninstallscripts" or "make install" to install binaries,
  41 man pages and shell scripts. You may recover the previous version (if any
  42 by "make revert".
  43 ======================================================================
  44 EOF
  45
  46 exit 0