From 5e9b652a7782ebd07b69100d9ce234785bf38083 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Thu, 20 Feb 2020 01:40:06 +0300
Subject: symlinks on Windows are a freaking pain

I'll just update the relevant files from linux-home from now on, I
think.
---
 %APPDATA%/ghc/ghci.conf | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)
 mode change 120000 => 100644 %APPDATA%/ghc/ghci.conf

(limited to '%APPDATA%/ghc')

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