On 12/12/13 8:02 AM, Greg Wooledge wrote:
> On Thu, Dec 12, 2013 at 07:53:32AM +0100, Piotr Grzybowski wrote:
>> Yuri: I have verified that under linux 3.2.0, bash-4.2.25, nothing of
>> the sort takes place. tee gets /dev/fd/${somefd}, why it is not
>> supported in bsd kernel i have no idea, but I thought it was.
>
> On OpenBSD, at least, this is true. I haven't tried FreeBSD.
Unless things have gotten better on FreeBSD, it isn't. The issue with
FreeBSD is that is has historically only provided /dev/fd/[012], and
that isn't general enough for bash's use. FIFOs are definitely a
second choice here.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
