On Fri, 9 Sep 2022, Chet Ramey wrote:
Bash is out of the picture by the time the diff command dies due to SIGPIPE. It performs word expansions, including process substitution, and execs diff. It's no longer around to remove the named pipes.
Without the `| head' to provoke a SIGPIPE, the named pipes are removed. Should't it do the same for the SIGPIPE case too? (In any case, I've recompiled bash without that config. override, so this is just a minor irritation.) Thx, -RVP
