"Brian J. Murrell" <br...@interlinx.bc.ca> writes:

> But this is where (simplified) my example using cat went sideways.  :-(
> In my real world use, the first cat is actually mplayer and doesn't have
> the option of writing to stdout instead of a named file for this
> particular use of it.

Perhaps you can use /dev/stdout instead.

Andreas.

-- 
Andreas Schwab, sch...@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."


Reply via email to