From c8c4d58f1b55fc1217b2a760ee626e1069b2a2fd Mon Sep 17 00:00:00 2001 From: t0thkr1s Date: Fri, 10 Jan 2020 13:15:10 +0100 Subject: [PATCH] add data for time --- data/time.json | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 data/time.json diff --git a/data/time.json b/data/time.json new file mode 100644 index 0000000..744029e --- /dev/null +++ b/data/time.json @@ -0,0 +1,20 @@ +{ + "description": "Note that the shell might have its own builtin time implementation, which may behave differently than '/usr/bin/time', hence the absolute path.", + "functions": { + "shell": [ + { + "code": "/usr/bin/time /bin/sh" + } + ], + "suid": [ + { + "code": "./time /bin/sh -p" + } + ], + "sudo": [ + { + "code": "sudo /usr/bin/time /bin/sh" + } + ] + } +} \ No newline at end of file