[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bash-5.1.16 fails to unlink named pipes if pipeline terminates prema
|
From: |
RVP |
|
Subject: |
Re: bash-5.1.16 fails to unlink named pipes if pipeline terminates prematurely |
|
Date: |
Mon, 12 Sep 2022 21:52:31 +0000 (UTC) |
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