]> glassweightruler.freedombox.rocks Git - xdg-ninja.git/commitdiff
Add GHCi (#460)
authorErlend Hamberg <erlend@hamberg.no>
Sun, 9 Mar 2025 22:18:24 +0000 (23:18 +0100)
committerGitHub <noreply@github.com>
Sun, 9 Mar 2025 22:18:24 +0000 (23:18 +0100)
programs/ghci.json [new file with mode: 0644]

diff --git a/programs/ghci.json b/programs/ghci.json
new file mode 100644 (file)
index 0000000..91a68c7
--- /dev/null
@@ -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"
+        }
+    ]
+}