bin/isabelle-interface
changeset 15778 98af3693f6b3
parent 14981 e73f8140af78
child 15784 3a214de33d53
     1.1 --- a/bin/isabelle-interface	Wed Apr 20 00:45:54 2005 +0200
     1.2 +++ b/bin/isabelle-interface	Wed Apr 20 14:18:33 2005 +0200
     1.3 @@ -10,7 +10,11 @@
     1.4  
     1.5  PRG="$(basename "$0")"
     1.6  
     1.7 -ISABELLE_HOME="$(dirname "$0")/.."
     1.8 +THIS="$0"
     1.9 +while [ -L "$THIS" ]; do
    1.10 +    THIS="$(dirname "$THIS")/$(LC_ALL=C ls -l "$THIS" | sed 's/.* -> //')"
    1.11 +done
    1.12 +ISABELLE_HOME="$(cd "$(dirname "$(readlink -f "$THIS")")/.."; pwd)"
    1.13  . "$ISABELLE_HOME/lib/scripts/getsettings" || \
    1.14    { echo "$PRG probably not called from its original place!"; exit 2; }
    1.15