From e7c8a2ca80bafbae0871a885147d1368476e5af6 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Tue, 15 Feb 2022 12:10:42 +0100
Subject: [PATCH] Disable some extensions for repl

---
 repl/jupyter-lite.json | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 repl/jupyter-lite.json

diff --git a/repl/jupyter-lite.json b/repl/jupyter-lite.json
new file mode 100644
index 000000000..c202a1be5
--- /dev/null
+++ b/repl/jupyter-lite.json
@@ -0,0 +1,11 @@
+{
+    "jupyter-lite-schema-version": 0,
+    "jupyter-config-data": {
+      "disabledExtensions": [
+        "@jupyterlab/drawio-extension",
+        "jupyterlab-kernel-spy",
+        "jupyterlab-tour"
+      ]
+    }
+  }
+  
\ No newline at end of file