On Thu, Aug 18, 2022 at 10:22:25AM -0400, Michael Greenberg wrote:
> Also: what version of bash are you running? I suspect the fix to this in
> bash is fairly recent.
5.1-* off Debian; a simple default-config build+./bash -ec ... check
across the distribution tarballs shows that 4.4.18 and 5.0 are broken
in the same way as dash (and like your transcripts show),
but 5.1 produces the correct output.

наб