diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-20 01:40:06 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-20 01:40:06 +0300 |
| commit | 5e9b652a7782ebd07b69100d9ce234785bf38083 (patch) | |
| tree | 6ffaf356b27a888a303bcc060c77a465bbcff29d /%APPDATA%/ghc | |
| parent | update linux-home (diff) | |
| download | windows-home-master.tar.gz windows-home-master.zip | |
I'll just update the relevant files from linux-home from now on, I
think.
Diffstat (limited to '')
| -rw-r--r--[l---------] | %APPDATA%/ghc/ghci.conf | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/%APPDATA%/ghc/ghci.conf b/%APPDATA%/ghc/ghci.conf index a71f301..0cb900e 120000..100644 --- a/%APPDATA%/ghc/ghci.conf +++ b/%APPDATA%/ghc/ghci.conf @@ -1 +1,9 @@ -../../linux-home/%HOME%/.ghci
\ No newline at end of file +:set prompt "> " +:set prompt2 "" + +:seti -w + +:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" + +:set -XOverloadedStrings +:set -XTupleSections |