Backspace/delete/history in ghci

older
Re: ANNOUNCE: GHC version 6.10.1 -...

Colin Paul Adams

24 Nov 2008 24 Nov '08

4:56 a.m.

I can't use the backspace key, or arrow keys in ghci (6.10.1) as i would normally expect to on any program on Linux. Is this connected with the readline/editline/haskelline debate I have observed recently? -- Colin Adams Preston Lancashire

Show replies by date

Simon Marlow

24 Nov 24 Nov

7:16 a.m.

Colin Paul Adams wrote:

...

I can't use the backspace key, or arrow keys in ghci (6.10.1) as i would normally expect to on any program on Linux.

Is this connected with the readline/editline/haskelline debate I have observed recently?

You seem to be encountering an unusually severe reaction to the editline switchover. What terminal type is this? Cheers, Simon

Colin Paul Adams

7:28 a.m.

...

...
...
...
...
"Simon" == Simon Marlow writes:

Simon> Colin Paul Adams wrote: >> I can't use the backspace key, or arrow keys in ghci (6.10.1) >> as i would normally expect to on any program on Linux. >> >> Is this connected with the readline/editline/haskelline debate >> I have observed recently? Simon> You seem to be encountering an unusually severe reaction to Simon> the editline switchover. What terminal type is this? It's Terminal 2.22.2 - A terminal emulator for the GNOME desktop, on linux (Fedora 9 64-bit). -- Colin Adams Preston Lancashire

Judah Jacobson

11:03 a.m.

On Mon, Nov 24, 2008 at 1:56 AM, Colin Paul Adams wrote:

...

I can't use the backspace key, or arrow keys in ghci (6.10.1) as i would normally expect to on any program on Linux.

Did you compile ghc yourself or download the distribution from somewhere? If you're compiling it yourself, you'll need to first install Fedora's libedit-devel package. Hope that helps, -Judah

Colin Paul Adams

11:12 a.m.

...

...
...
...
...
"Judah" == Judah Jacobson writes:

Judah> On Mon, Nov 24, 2008 at 1:56 AM, Colin Paul Adams Judah> wrote: >> I can't use the backspace key, or arrow keys in ghci (6.10.1) >> as i would normally expect to on any program on Linux. >> Judah>Did you compile ghc yourself or download the distribution Judah> from somewhere? I compiled it myself, since there doesn't seem to be an rpm available for Fedora 9 yet for 6.10.1. Judah> If you're compiling it yourself, you'll need to Judah> first install Fedora's libedit-devel package. OK. But how come it compiled at all in that case? -- Colin Adams Preston Lancashire

Colin Paul Adams

11:49 a.m.

...

...
...
...
...
"Judah" == Judah Jacobson writes:

Judah> somewhere? If you're compiling it yourself, you'll need to Judah> first install Fedora's libedit-devel package. Judah> Hope that helps, -Judah It did. It's working fine now. Thanks. -- Colin Adams Preston Lancashire

6025

Age (days ago)

6025

Last active (days ago)

List overview

Download

5 comments

3 participants

participants (3)

Colin Paul Adams
Judah Jacobson
Simon Marlow