On Fri, 2008-11-07 at 12:13 +0100, Philip K.F. Hölzenspies wrote:
It seems editline has some incompatibility with my terminal. Maybe, I should configure something differently, but any and all of the control characters I type and work for all readline based (and all custom line-readers I have come across), but not for the new ghci. Most annoying is the fact that backspace doesn't work (instead, the control sequence ^? is printed and pressing enter results in "lexical error at character '\DEL'"). However, arrow keys (left ^[[D, up ^[[A, right ^[[C and down ^[[B) and common Ctrl+_ combinations (^d, ^e, ^a) also give similar errors. It is striking that the lexer does recognize them as the correct characters (printed error messages doe say \DEL, \EOT, \ENQ, etc).
I get some working and some non-working. Eg backspace, del, home, end work, but the ctl-left/ctl-right to jump words does not. Does anyone know how libedit is supposed to be configured? readline uses /etc/inputrc but libedit either does not or doesn't understand all of it. /me wonders if it was really necessary to switch from readline Duncan