make symlink handling compatible with whitespaces
authorgagern
Wed Apr 27 23:02:08 2005 +0200 (2005-04-27)
changeset 15864cc1b4a289321
parent 15863 78db9506cc78
child 15865 222092a48131
make symlink handling compatible with whitespaces
bin/isabelle
bin/isabelle-interface
bin/isabelle-process
     1.1 --- a/bin/isabelle	Wed Apr 27 16:41:03 2005 +0200
     1.2 +++ b/bin/isabelle	Wed Apr 27 23:02:08 2005 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  if [ -L "$0" ]; then
     1.6    TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
     1.7 -  exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
     1.8 +  exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
     1.9  fi
    1.10  
    1.11  THIS=$(cd "$(dirname "$0")"; pwd)
     2.1 --- a/bin/isabelle-interface	Wed Apr 27 16:41:03 2005 +0200
     2.2 +++ b/bin/isabelle-interface	Wed Apr 27 23:02:08 2005 +0200
     2.3 @@ -7,7 +7,7 @@
     2.4  
     2.5  if [ -L "$0" ]; then
     2.6    TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
     2.7 -  exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
     2.8 +  exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
     2.9  fi
    2.10  
    2.11  
     3.1 --- a/bin/isabelle-process	Wed Apr 27 16:41:03 2005 +0200
     3.2 +++ b/bin/isabelle-process	Wed Apr 27 23:02:08 2005 +0200
     3.3 @@ -7,7 +7,7 @@
     3.4  
     3.5  if [ -L "$0" ]; then
     3.6    TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
     3.7 -  exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
     3.8 +  exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
     3.9  fi
    3.10  
    3.11