bin/isabelle-interface
changeset 15843 d5bd4a18ce70
parent 15784 3a214de33d53
child 15864 cc1b4a289321
     1.1 --- a/bin/isabelle-interface	Tue Apr 26 17:44:24 2005 +0200
     1.2 +++ b/bin/isabelle-interface	Tue Apr 26 19:49:39 2005 +0200
     1.3 @@ -5,16 +5,17 @@
     1.4  #
     1.5  # Isabelle interface startup script.
     1.6  
     1.7 +if [ -L "$0" ]; then
     1.8 +  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
     1.9 +  exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
    1.10 +fi
    1.11 +
    1.12  
    1.13  ## settings
    1.14  
    1.15  PRG="$(basename "$0")"
    1.16  
    1.17 -THIS="$0"
    1.18 -while [ -L "$THIS" ]; do
    1.19 -    THIS="$(dirname "$THIS")/$(LC_ALL=C ls -l "$THIS" | sed 's/.* -> //')"
    1.20 -done
    1.21 -ISABELLE_HOME="$(cd "$(dirname "$THIS")/.."; pwd)"
    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