From ddebf09068d09e346df51643d873936697fa24e6 Mon Sep 17 00:00:00 2001 From: Moritz Maxeiner <mm@ucw.sh> Date: Thu, 17 Sep 2020 14:15:23 +0200 Subject: [PATCH] [jupyterhub] misc --- jupyterhub/base/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jupyterhub/base/Dockerfile b/jupyterhub/base/Dockerfile index bb6d7db..13a7b7c 100755 --- a/jupyterhub/base/Dockerfile +++ b/jupyterhub/base/Dockerfile @@ -22,8 +22,8 @@ RUN curl -sL https://deb.nodesource.com/setup_10.x | bash - && \ npm config set update-notifier false --global ENV IPYTHONDIR=/usr/local/etc/ipython -COPY jupyter_notebook_config.py /usr/local/etc/jupyter/ ENV JUPYTER_CONFIG_DIR=/usr/local/etc/jupyter +COPY jupyter_notebook_config.py ${JUPYTER_CONFIG_DIR}/ ENV JUPYTERLAB_SETTINGS_DIR=/root/.config/jupyter/lab/user-settings ENV JUPYTERLAB_WORKSPACES_DIR=/root/.config/jupyter/lab/workspaces -- GitLab