tags 827573 upstream thanks Christoph Biedl wrote...
(...)
Stupid last-minute changes. The bug is there, my report had some flaws. So a
few clarifications:
> Now running "sh -x main.sh" results in
That should be "dash -x main.sh" for systems where /bin/sh is *not*
linked to /bin/dash.
"source filename-without-path" is another bashism, dash and zsh search
in the path only, bash also in the current directory. (My test had a
qualified path, I didn't fix the output.)
So:
> | + set -e
> | + S=source.sh
> | + [ ! -f source.sh ]
> | + . source.sh
Should be ("./source.sh" instead of "source.sh"):
> | + set -e
> | + S=./source.sh
> | + [ ! -f ./source.sh ]
> | + . ./source.sh
Same for the bash example.
Christoph
signature.asc
Description: Digital signature

