> Closing quotes are missing, but your script hopefully has them.
Yes, indeed
> Because the exit status of the pipe is that of the last command, and tee
> has no reason to complain:
I was suspecting something like that, but unfortunately I had misinterpreted the output of my debugging variations.
> In bash you can change this behavior with "set -o pipefail".
Thanks a lot, that works like a treat!
Stefan
--
To UNSUBSCRIBE, email to debian-user-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org