From cff3a4b308088bca67911e89cc5d8e3d407717f1 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Sat, 14 Jan 2012 15:35:18 +0100
Subject: [PATCH] zsh/rc: Use ghci with rlwrap if available.

---
 zsh/rc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/zsh/rc b/zsh/rc
index 06e03f9..84b27f7 100644
--- a/zsh/rc
+++ b/zsh/rc
@@ -650,6 +650,15 @@ xpdf() {
     disown %command
 }
 
+# GHCI doesn't use readline, force it if rlwrap is available.
+(( $+commands[rlwrap] )) && ghci() {
+    command rlwrap \
+        --always-readline --complete-filenames -t dumb \
+        --histsize 5000 \
+        --file ~/.shell/rlwrap/ghci \
+        ghci "$@" 2>&1
+}
+
 
 # OS SPECIFIC SETTINGS
 
-- 
2.45.2