bin/isabelle
changeset 15778 98af3693f6b3
parent 14981 e73f8140af78
child 15784 3a214de33d53
     1.1 --- a/bin/isabelle	Wed Apr 20 00:45:54 2005 +0200
     1.2 +++ b/bin/isabelle	Wed Apr 20 14:18:33 2005 +0200
     1.3 @@ -5,7 +5,11 @@
     1.4  #
     1.5  # Smart selection of isabelle-process versus isabelle-interface.
     1.6  
     1.7 -THIS=$(cd "$(dirname "$0")"; pwd)
     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 +THIS="$(cd "$(dirname "$(readlink -f "$THIS")")"; pwd)"
    1.13  NAME="$(basename "$0")"
    1.14  
    1.15  case "$NAME" in