From 07c0fd09d89ba4f10e7b3953efc25b89adaa1d8a Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Mon, 27 Jan 2020 14:29:20 +0300
Subject: add linux-home as a submodule

Almost all the files are symlinks to linux-home now.
---
 %APPDATA%/ghc/ghci.conf | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)
 mode change 100644 => 120000 %APPDATA%/ghc/ghci.conf

(limited to '%APPDATA%/ghc/ghci.conf')

diff --git a/%APPDATA%/ghc/ghci.conf b/%APPDATA%/ghc/ghci.conf
deleted file mode 100644
index 0cb900e..0000000
--- a/%APPDATA%/ghc/ghci.conf
+++ /dev/null
@@ -1,9 +0,0 @@
-:set prompt "> "
-:set prompt2 ""
-
-:seti -w
-
-:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""
-
-:set -XOverloadedStrings
-:set -XTupleSections
diff --git a/%APPDATA%/ghc/ghci.conf b/%APPDATA%/ghc/ghci.conf
new file mode 120000
index 0000000..a71f301
--- /dev/null
+++ b/%APPDATA%/ghc/ghci.conf
@@ -0,0 +1 @@
+../../linux-home/%HOME%/.ghci
\ No newline at end of file
-- 
cgit v1.2.3