changeset 73705 | ac07f6be27ea |
parent 52116 | abf9fcfa65cf |
--- a/bin/isabelle_scala_script Sun May 16 19:37:15 2021 +0200 +++ b/bin/isabelle_scala_script Mon May 17 13:57:19 2021 +1000 @@ -4,6 +4,8 @@ # # Isabelle/Scala script wrapper. +unset CDPATH + if [ -L "$0" ]; then TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"