From: Simon Ruderich 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