duncan.coutts:
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
I'll note that it is all working find on Arch. The behaviour is indistinguishable to readline. Perhaps the editline package is correctly configured here? -- Don