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   echo Installing $BINDIR/$p
  26   cp $p $BINDIR/$p
  27   if [ ! -f $BINDIR/$p ]; then
  28     echo Cannot copy $p... does $USER have privileges?
  29   fi
  30   echo Setting permissions on $BINDIR/$p
  31   chmod $INSTALLPERMS $BINDIR/$p
  32 done
  33
  34 cat << EOF
  35 ======================================================================
  36 The scripts have been installed. You may uninstall them using
  37 the command "make uninstallscripts" or "make install" to install binaries,
  38 man pages and shell scripts. You may recover the previous version (if any
  39 by "make revert".
  40 ======================================================================
  41 EOF
  42
  43 exit 0