changeset 73705 | ac07f6be27ea |
parent 66906 | 03a96b8c7c06 |
child 74017 | b4e6b82fdb9e |
--- a/bin/isabelle Sun May 16 19:37:15 2021 +0200 +++ b/bin/isabelle Mon May 17 13:57:19 2021 +1000 @@ -4,6 +4,8 @@ # # Isabelle tool 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")" "$@"