diff -ur --unidirectional-new-file skipsrc-1.0.orig/admin/install_skip_keys.sh work.new/admin/install_skip_keys.sh --- skipsrc-1.0.orig/admin/install_skip_keys.sh Fri Oct 25 13:11:19 1996 +++ work.new/admin/install_skip_keys.sh Mon Mar 8 21:33:39 1999 @@ -145,18 +145,11 @@ rm -rf $DIR } +PREFIX=@@PREFIX@@ +SKIP_BIN=${PREFIX}/bin +SKIP_ETC=${PREFIX}/etc/skip -SUNOS=`uname -r | sed 's/\..*//g'` -if [ $SUNOS = 5 ]; then - SKIP_BIN=/opt/SUNWicg/bin - SKIP_ETC=/etc/opt/SUNWicg/skip -else - SKIP_BIN=/usr/skip/bin - SKIP_ETC=/etc/skip -fi - -SKIP_PATH=${SKIP_PATH-$SKIP_BIN} -PATH=${SKIP_PATH}:/bin:/usr/ucb:$PATH export PATH +PATH=${SKIP_BIN}:${PATH} export PATH if [ $# -lt 1 ] then @@ -168,11 +161,6 @@ if [ $USER != "root" ] then echo "$0: you must be root to run this command." - exit 1 -fi - -if [ ! -d $SKIP_PATH ]; then - echo "$0: cannot find $SKIP_PATH - is SKIP installed?" exit 1 fi