diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-27 14:29:20 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-27 14:29:20 +0300 |
| commit | 07c0fd09d89ba4f10e7b3953efc25b89adaa1d8a (patch) | |
| tree | 5e48f4fcec706c371c904d1d3803800bc5081db8 /%APPDATA%/ghc/ghci.conf | |
| parent | README: fix config-links usage (diff) | |
| download | windows-home-07c0fd09d89ba4f10e7b3953efc25b89adaa1d8a.tar.gz windows-home-07c0fd09d89ba4f10e7b3953efc25b89adaa1d8a.zip | |
add linux-home as a submodule
Almost all the files are symlinks to linux-home now.
Diffstat (limited to '')
| l---------[-rw-r--r--] | %APPDATA%/ghc/ghci.conf | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/%APPDATA%/ghc/ghci.conf b/%APPDATA%/ghc/ghci.conf index 0cb900e..a71f301 100644..120000 --- a/%APPDATA%/ghc/ghci.conf +++ b/%APPDATA%/ghc/ghci.conf @@ -1,9 +1 @@ -:set prompt "> " -:set prompt2 "" - -:seti -w - -:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" - -:set -XOverloadedStrings -:set -XTupleSections +../../linux-home/%HOME%/.ghci
\ No newline at end of file |