aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2016-08-13 21:30:49 +0200
committerEgor Tensin <Egor.Tensin@gmail.com>2016-08-13 21:30:49 +0200
commit370fc093ce84f271ccabfafa142eb49742e05a60 (patch)
tree3f01cedea33bcf87fb6552cca84f9d138d7c7428
parentgpg.conf: update (diff)
downloadlinux-home-370fc093ce84f271ccabfafa142eb49742e05a60.tar.gz
linux-home-370fc093ce84f271ccabfafa142eb49742e05a60.zip
.ghci: add :hoogle
Diffstat (limited to '')
-rw-r--r--.GHC/ghci.conf1
1 files changed, 1 insertions, 0 deletions
diff --git a/.GHC/ghci.conf b/.GHC/ghci.conf
index 8e196db..549c681 100644
--- a/.GHC/ghci.conf
+++ b/.GHC/ghci.conf
@@ -1,3 +1,4 @@
:set prompt "> "
:set prompt2 ""
:seti -w
+:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""