> 2023å¹´10æ12æ¥(æ¨) 19:18 Bodo Thiesen <bug-b...@bothie.de>: > > Tested versions: > > bash-5.1.16 with readline 8.1.2 > > bash-5.2.15 with readline 8.2.1 > > You are using Bash 5.1, but I think it should have been already fixed > in Bash 5.2. There were similar reports [1-3] (you may compare the > test cases found there with yours): > > [1] https://lists.gnu.org/archive/html/bug-bash/2020-10/msg00095.html > [2] https://lists.gnu.org/archive/html/bug-bash/2021-02/msg00059.html > [3] https://lists.gnu.org/archive/html/bug-bash/2021-02/msg00084.html > > Bash 5.1 and 5.2 use totally different implementations for the > timeouts. The (default) implementation has been switched by [2] from > SIGALARM to select/pselect in Bash 5.2.
He claims to have tested on bash-5.2. I just can't reproduce it. -- ``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/