On Tue, Apr 09, 2019 at 10:10:44PM +0800, konsolebox wrote: > @Chet, Isn't bash supposed to use named pipes alternatively, and > dynamically? Or does it just decide what to use based on the current > system?
The second thing. On platform X, bash uses named pipes. On platform Y, bash uses /dev/fd/. It's decided at compile time.
