Elfyn McBratney wrote on 14 Feb 2003 18:18:47 -0000
> In bash you can add the following
>
> # DEL key in bash
> "\e[3~": delete-char
>
> to your ~/.inputrc or your /etc/inputrc file to get a functioning DEL
> ke.
Thanks! I've been wondering about that for far too long. :-)
BTW I read the readline portion of "man bash" and was able to figure
out the "~/.inputrc", "\e", ":", "delete-char" parts, but how did you
figure out that the <Del> key maps to "[3~"? Searching "man bash" and
"man readline" for "[3~" and subsets didn't seem to do the trick, nor
did "apropos escape" or Google "[3~"...
TIA,
David