2022年11月11日(金) 8:48 Koichi Murase <myoga.mur...@gmail.com>: > 2022年11月11日(金) 7:58 of1 <o...@disroot.org>: > > [...] > > read -set .001 -d '' DISCARD > > before the actual read -e > > Alas, this does not work anymore with 5.2 (-e and -t > > combination triggers shell exit or, when used in a script, prevents > > further use of read -e). > > Thanks for the report. I confirmed this. > > [...] > > I'll later check the details.
In case someone might be waiting for the action from me, I actually gave up doing this because there was already a fix from Chet (Thanks). I'm just planning to quickly check the behavior of "the next devel push", which seems to be not yet pushed to savannah. Thank you.