|
From: Hans-Bernhard B. <HBB...@t-...> - 2011-03-20 20:12:29
|
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. |