bin/isatool
changeset 15967 f9163c6f69d6
parent 15877 c9efc3e3fd44
     1.1 --- a/bin/isatool	Tue May 17 01:24:19 2005 +0200
     1.2 +++ b/bin/isatool	Tue May 17 09:58:40 2005 +0200
     1.3 @@ -3,12 +3,11 @@
     1.4  # $Id$
     1.5  # Author: Markus Wenzel, TU Muenchen
     1.6  #
     1.7 -# Isabelle tool starter -- provides settings environment
     1.8 -# and keeps your PATH name space clean.
     1.9 +# Isabelle tool starter.
    1.10  
    1.11  if [ -L "$0" ]; then
    1.12    TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    1.13 -  exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    1.14 +  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    1.15  fi
    1.16  
    1.17  
    1.18 @@ -16,9 +15,8 @@
    1.19  
    1.20  PRG="$(basename "$0")"
    1.21  
    1.22 -ISABELLE_HOME="$(dirname "$0")/.."
    1.23 -. "$ISABELLE_HOME/lib/scripts/getsettings" || \
    1.24 -  { echo "$PRG probably not called from its original place!"; exit 2; }
    1.25 +ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
    1.26 +source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    1.27  
    1.28  
    1.29  ## diagnostics
    1.30 @@ -38,7 +36,6 @@
    1.31      for DIR in $ISABELLE_TOOLS
    1.32      do
    1.33        cd "$DIR"
    1.34 -      echo
    1.35        for T in *
    1.36        do
    1.37          if [ -f "$T" -a -x "$T" ]; then
    1.38 @@ -49,7 +46,6 @@
    1.39      done
    1.40      IFS="$ORIG_IFS"
    1.41    )
    1.42 -  echo
    1.43    exit 1
    1.44  }
    1.45