On Fri, Feb 14, 2003 at 11:31:38PM -0800, David Christensen wrote: > 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~"?
For keys that send an escape sequence I often go into a vi style editor's append mode, press Ctrl-V to "quote" the next char and press the key in question. If the key is not mapped by the tty input driver, this should also work in a posix type shell in vi mode. And cat -v (or vet) may be useful as well. > > > TIA, > > David > > > -- > Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple > Bug reporting: http://cygwin.com/bugs.html > Documentation: http://cygwin.com/docs.html > FAQ: http://cygwin.com/faq/ > > >>> End of included message <<< -- Jon H. LaBadie [EMAIL PROTECTED] JG Computing 4455 Province Line Road (609) 252-0159 Princeton, NJ 08540-4322 (609) 683-7220 (fax) -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Bug reporting: http://cygwin.com/bugs.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
