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 H
Hello!
There seems to be a problem with bash's usage of named pipes on GNU/Hurd
systems.
#v+
[EMAIL PROTECTED]:~ $ diff -u <(echo a) <(echo b)
--- /proc/self/fd/632006-11-19 15:32:53.622504951 +0100
+++ /proc/self/fd/622006-11-19 15:32:53.614508451 +0100
@@ -1 +1 @@
-a
+b
[EMAIL PROTECTED
