On Sat, Oct 21, 2000, Adi Stav wrote about "Re: Cool shell tricks (was: Re: file
system questions)":
> True... You can't. It would've been nice if Bash had the option to use
> temporary files rather than FIFOs... But I don't know if it's needed
> that often.
Zsh has an additional process substition that looks like =(...), for example
xdvi =(zcat file.dvi.gz)
That creates a temporary file (a regular file, not a pipe) with the output
of the command, and passes that name to another command. I use it very
often - usually in the form of the example above.
I almost never use the <(...) form: while it can be more efficiant, the
difference is barely noticable (on a modern computer) and many programs
(including xdvi) can't handle pipes as input files because they want to be
able to seek (rewind) into the file - so using temporary files instead of
a the pipe is like a "better safe than sorry".
I don't know if bash also has this form - check out its manual.
--
Nadav Har'El | Saturday, Oct 21 2000, 22 Tishri 5761
[EMAIL PROTECTED] |-----------------------------------------
Phone: +972-53-245868, ICQ 13349191 |If God is watching us, the least we can
http://nadav.harel.org.il |do is be entertaining.
=================================================================
To unsubscribe, send mail to [EMAIL PROTECTED] with
the word "unsubscribe" in the message body, e.g., run the command
echo unsubscribe | mail [EMAIL PROTECTED]
