bin/isatool
changeset 2735 29434f9b95dd
parent 2703 5ce1310560ff
child 2737 a43320c05e84
     1.1 --- a/bin/isatool	Wed Mar 05 17:15:31 1997 +0100
     1.2 +++ b/bin/isatool	Thu Mar 06 12:28:17 1997 +0100
     1.3 @@ -1,29 +1,18 @@
     1.4 -#!/bin/bash -norc
     1.5 +#!/bin/bash -x
     1.6  #
     1.7  # $Id$
     1.8  #
     1.9 -# Isabelle tool starter -- keeps your PATH name space clean.
    1.10 +# Isabelle tool starter -- provides settings environment,
    1.11 +#   also keeps your PATH name space clean.
    1.12  
    1.13  
    1.14  ## settings
    1.15  
    1.16  PRG=$(basename $0)
    1.17  
    1.18 -ISABELLE_HOME=$(dirname $(dirname $0))
    1.19 -case "$ISABELLE_HOME" in
    1.20 -  /*)
    1.21 -    if [ -f $ISABELLE_HOME/lib/scripts/getsettings ]; then
    1.22 -      . $ISABELLE_HOME/lib/scripts/getsettings || exit 2
    1.23 -    else
    1.24 -      echo "ERROR: $PRG probably not called from its original place!"
    1.25 -      exit 1
    1.26 -    fi
    1.27 -    ;;
    1.28 -  *)
    1.29 -    echo "ERROR: $PRG not called with absolute path specification!"
    1.30 -    exit 1
    1.31 -    ;;
    1.32 -esac
    1.33 +ISABELLE_HOME=$(dirname $0)/..
    1.34 +. $ISABELLE_HOME/lib/scripts/getsettings || \
    1.35 +  { echo "$PRG probably not called from its original place!"; exit 2 }
    1.36  
    1.37  
    1.38  ## diagnostics