From 12f5535a178f74adac36237894ffe08e27b7d449 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Wed, 17 Aug 2016 22:31:28 +0200 Subject: move Windows-specific stuff to .appdata/ --- .appdata/ghc/ghci.conf | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 .appdata/ghc/ghci.conf (limited to '.appdata/ghc') diff --git a/.appdata/ghc/ghci.conf b/.appdata/ghc/ghci.conf new file mode 100644 index 0000000..45a1338 --- /dev/null +++ b/.appdata/ghc/ghci.conf @@ -0,0 +1,8 @@ +:set prompt "> " +:set prompt2 "" + +:seti -w + +:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" + +:set -XOverloadedStrings -- cgit v1.2.3