On Sat, Jan 14, 2017 at 14:00:46 +0100, Olaf Hering wrote: > >Ctrl+G works for me, as for most prompts. > > Thanks. Should this be documented? I have not checked if it is > already in the man page. I assume its a readline feature.
I realize it's not obvious, but at least it's hinted at in the table
"Most common line editor keys". I agree it should be mentioned more
prominently. ("Patch welcome", as they say. ;-))
Moritz
