From ec5e39a4038ef025239ea81db2cb20832757c0cb Mon Sep 17 00:00:00 2001 From: Simon Ruderich Date: Mon, 10 Feb 2014 12:39:29 +0100 Subject: [PATCH] zsh/rc: Remove ghci wrapper function. --- zsh/rc | 9 --------- 1 file changed, 9 deletions(-) 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 -- 2.45.2