» .editrc Tidbit for ghci #

Paul R. Brown @ 2008-12-02

The only thing that I lost in the transition between readline in GHC 6.8 and editline in GHC 6.10 was backwards history search in ghci bound to ^R. I use that particular feature quite a bit, so that had a big negative impact on my productivity.

Here's how to get it back. Create a file in your home directory called .editrc with the following contents:

edit on
bind ^R em-inc-search-prev

The analogous setting for forward search (bind ^S em-inc-search-next) doesn't work for some reason, but that's not one that I'm going to miss.

 

← 2008-11-24 — LinkedIn Group for Mathematicians
→ 2009-02-02 — What Chess Club Should Teach You About Pitching