From d6b0b382fa83628192f328394d022fbe16b79e0f Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Wed, 2 Sep 2020 14:05:07 +0200
Subject: [PATCH] [jupyterhub] add execute time extension
---
jupyterhub/Dockerfile | 1 +
1 file changed, 1 insertion(+)
diff --git a/jupyterhub/Dockerfile b/jupyterhub/Dockerfile
index 8814a02..d1852d3 100755
--- a/jupyterhub/Dockerfile
+++ b/jupyterhub/Dockerfile
@@ -32,6 +32,7 @@ RUN python${PYTHON_VERSION} -m pip --no-cache-dir install \
jupyter-webrtc \
ipyvolume \
jupyter-threejs \
+ jupyterlab-execute-time \
&& \
python${PYTHON_VERSION} -m jupyter labextension install @ryantam626/jupyterlab_code_formatter && \
python${PYTHON_VERSION} -m pip --no-cache-dir install jupyterlab_code_formatter && \
--
GitLab