On 9/11/22 11:30 AM, David Apps wrote:
I hope that you are well.
Thank you for your work on this great software.
I have some feedback about the document at:
http://www.gnu.org/software/bash/manual/bash.html
the Bash shell (version 5.1, 21 December 2020).
Thanks for your careful reading of th
On 9/12/22 5:52 PM, RVP wrote:
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'
Regression appears to have occurred between bash-5.0.18 and bash-5.1-alpha
at commit 712f80b0. (I note that this commit is missing from the master
branch, which only includes bash-5.0.17 at commit.)
I tried to find the change in the devel branch, but ugh, git diff between
devel & master is unhelpf
