Re: "cannot execute binary file" error with Bash 5.2

[Chet Ramey]

On 11/16/22 5:19 PM, Loïc Yhuel wrote:

https://savannah.gnu.org/support/index.php?110744

I attached the patch I applied.

It works, thank you.

Btw, I didn't search on savannah since
https://www.gnu.org/software/bash/manual/html_node/Reporting-Bugs.html
doesn't mention it.

Good idea; I should add it to the manual.

--
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    c...@case.edu    http://tiswww.cwru.edu/~chet/