Re: Bug or feature? No EOF on /proc/xxx/fd/x

Darren J Moffat (darren@xarius.demon.co.uk)
Fri, 16 Feb 1996 21:12:14 +0000 (GMT)


On Wed, 14 Feb 1996, Snow Cat wrote:

> I wonder if it's a problem with bash. zsh still prints date and exits.

I've just tried this will zsh 2.6-beta9 and yes it does return if you
do the cat <(date) but, the other (more reliable?) test fails, ie

$ sleep 30 &
$ pid=$!
$ cat /proc/$pid/fd/0

I'm not sure if the non existense of /dev/fd/* when I built this version
of zsh is the result of `cat <(date)` working and the second test failing.

--
Darren J Moffat           |  128 Chapel Lane
                          |  High Wycombe, Buckinghamshire, HP12 4BY
                          |  Tel/Fax: +44 (0)1494-449-537