> 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 [EMAIL PROTECTED] 
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to