On Sat, Nov 8, 2008 at 12:33 PM, Judah Jacobson <[EMAIL PROTECTED]> wrote: > On Fri, Nov 7, 2008 at 8:38 PM, Alexander Dunlap > <[EMAIL PROTECTED]> wrote: >> On Fri, Nov 7, 2008 at 3:13 AM, Philip K.F. Hölzenspies >> <[EMAIL PROTECTED]> wrote: >> >> Hi all, >> >> I apologize if this is off-topic, but I'm having a similar (but >> distinct) problem: editline thinks that my delete key is a tilde key. >> When I type <DELETE>, it inserts a tilde. The tilde then acts >> completely like a tilde (i.e. GHCi interprets it as a tilde). I have >> been unable to find an answer by googling. Does anyone else have/know >> how to fix this problem? > > First, just to make sure: do the arrow keys work or is all editing > functionality broken? If it's the latter, then ghc probably wasn't > built with libedit and you need the libedit-devel package. > > Assuming that's not the issue, and you don't get the same problem with > readline-based programs, then it sounds like editline doesn't know > about the key binding for DELETE on your system. The simplest fix is > to edit the ~/.editrc file. For example: > > Running "ghc -e getLine", then pressing DELETE followed by RETURN, I see: > > $ ghc -e getLine > ^[[3~ > "\ESC[3~" > > This tells me the key sequence for the DELETE key in my terminal, so I > add the following line to my ~/.editrc file > (http://www.manpagez.com/man/5/editrc/): > > bind "\e[3~" ed-delete-next-char > > > Hope that helps, > -Judah >
Your latter instructions were exactly what I needed. Thank you very much! Alex _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users