From: Simon Ruderich <simon@ruderich.org>
Date: Mon, 10 Feb 2014 11:39:29 +0000 (+0100)
Subject: zsh/rc: Remove ghci wrapper function.
X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;h=ec5e39a4038ef025239ea81db2cb20832757c0cb;p=config%2Fdotfiles.git

zsh/rc: Remove ghci wrapper function.
---

diff --git a/zsh/rc b/zsh/rc
index 876bfc7..09264ed 100644
--- a/zsh/rc
+++ b/zsh/rc
@@ -826,15 +826,6 @@ elif (( $+commands[zathura] )); then
     compdef _xpdf pdf
 fi
 
-# 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