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

Attachment: signature.asc
Description: Digital signature

Reply via email to