From 74e2b5c9b9406427b239c6410e7ffbe7acf1d0fb Mon Sep 17 00:00:00 2001
From: Hubert Jasudowicz <hubert.jasudowicz@cert.pl>
Date: Wed, 7 Jul 2021 17:45:48 +0200
Subject: [PATCH] playground: Add run function to locals

---
 drakrun/drakrun/playground.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/drakrun/drakrun/playground.py b/drakrun/drakrun/playground.py
index 8015fcc27..bf780fd46 100644
--- a/drakrun/drakrun/playground.py
+++ b/drakrun/drakrun/playground.py
@@ -156,6 +156,7 @@ def main():
             "mount": shell.mount,
             "drakvuf": shell.drakvuf,
             "vm": shell.vm,
+            "run": shell.run,
         }
         banner = dedent(
             """