Am 20.03.2011 21:12, schrieb Hans-Bernhard Bröker:
> On 20.03.2011 21:01, Bastian Märkisch wrote:
>> Ok. The problem is that the builtin readline maps the DEL key
>> to ^D on Windows.
> That it shouldn't do. At least not according to the documentation (see
> "help command-line editing"). That says DEL should be mapped to be the
> same as ^H, and do back-space.
I'd rather change the documentation here then. This mapping on Windows
has been there at least since revision 1.1 of readline.c. It does what I
would normally expect DEL to do.
I just tested on openSUSE with GNU readline and it also deletes the
_current_ character, not the previous one. (On the other hand, on CentOS
with the builtin readline, pressing DEL yields "3~" instead of deleting