L. Ahmadi wrote:

If you want to use /bin/sh,

No I don't (and didn't).

But now I know my mistake:
I had put #!/bin/ksh for a good reason, but I did call it with
$ sh progname

That's rather me stupid, then !

Thanks everyone for answering,

Uwe

Reply via email to