Thomas Schwinge wrote:
> Hello!
>
> There seems to be a problem with bash's usage of named pipes on GNU/Hurd
> systems.
Bash uses named pipes for process substitution only if /dev/fd (or the
Linux variant, /proc/self/fd) is not available. I'd check config.h to
see which is being used (look for HAVE_DEV_FD) before investigating
further.
(Or you could simply run `echo <(echo a)' and see what's displayed.)
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
Live Strong. No day but today.
Chet Ramey, ITS, CWRU [EMAIL PROTECTED] http://cnswww.cns.cwru.edu/~chet/
_______________________________________________
Bug-bash mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-bash
