ANNOUNCE: GHC version 6.10.1 - EditLine / terminal incompatibility?

[Judah Jacobson]

On Fri, Nov 7, 2008 at 4:36 AM, Duncan Coutts
<duncan.coutts at worc.ox.ac.uk> wrote:
>
> 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

You can configure libedit with a ~/.editrc file.

http://www.manpagez.com/man/5/editrc/

-Judah