diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-17 22:31:28 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-17 22:31:28 +0200 |
| commit | 12f5535a178f74adac36237894ffe08e27b7d449 (patch) | |
| tree | 666d4a701293f83800d5e87f0cc1e0020c96f1f7 /.appdata/ghc/ghci.conf | |
| parent | code style (diff) | |
| download | linux-home-12f5535a178f74adac36237894ffe08e27b7d449.tar.gz linux-home-12f5535a178f74adac36237894ffe08e27b7d449.zip | |
move Windows-specific stuff to .appdata/
Diffstat (limited to '.appdata/ghc/ghci.conf')
| -rw-r--r-- | .appdata/ghc/ghci.conf | 8 |
1 files changed, 8 insertions, 0 deletions
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 |