> 2023å¹´10æ12æ¥(æ¨) 19:18 Bodo Thiesen <[email protected]>:
> > 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 [email protected] http://tiswww.cwru.edu/~chet/
