|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: [PLUG] Process substitution
|
On Tue, 13 Jan 2009, Paul L. Snyder wrote:
> '...' and make it available through one of those two mechanisms. In bash,
> I believe it will always be a /dev/fd/<n> file descriptor; in zsh, it will
> be a named pipe as long as the system supports them, a /dev/fd file
> descriptor otherwise.
I just checked the bash manpage, and it looks like bash also supports both
implementations, though it describes the named pipe method as historical.
On my system, it always uses /dev/fd/*, while zsh prefers a named pipe.
pls
___________________________________________________________________________
Philadelphia Linux Users Group -- http://www.phillylinux.org
Announcements - http://lists.phillylinux.org/mailman/listinfo/plug-announce
General Discussion -- http://lists.phillylinux.org/mailman/listinfo/plug
|
|