From a964a4a4a9b2e34eb3f684f72f5c751c18b27348 Mon Sep 17 00:00:00 2001
From: Erlend Hamberg <erlend@hamberg.no>
Date: Sun, 9 Mar 2025 23:18:24 +0100
Subject: [PATCH] Add GHCi (#460)

---
 programs/ghci.json | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 programs/ghci.json

diff --git a/programs/ghci.json b/programs/ghci.json
new file mode 100644
index 0000000..91a68c7
--- /dev/null
+++ b/programs/ghci.json
@@ -0,0 +1,10 @@
+{
+    "name": "ghci",
+    "files": [
+        {
+            "path": "$HOME/.ghci",
+            "movable": true,
+            "help": "Reading .ghci from $XDG_CONFIG_HOME is now supported by GHCi, so the file can be moved to _$XDG_CONFIG_HOME/.ghci_.\n"
+        }
+    ]
+}
-- 
2.47.3