From 95cef91b1a645126fe7e042a32ec0eb12f667cf0 Mon Sep 17 00:00:00 2001 From: Michael Pilosov Date: Sat, 27 Nov 2021 20:04:20 -0700 Subject: [PATCH] default options --- singleuser/Dockerfile | 7 ++++++- .../apputils-extension/themes.jupyterlab-settings | 5 +++-- .../codemirror-extension/commands.jupyterlab-settings | 0 .../extensionmanager-extension/plugin.jupyterlab-settings | 0 4 files changed, 9 insertions(+), 3 deletions(-) mode change 100644 => 100755 singleuser/jupyterlab_settings/apputils-extension/themes.jupyterlab-settings mode change 100644 => 100755 singleuser/jupyterlab_settings/codemirror-extension/commands.jupyterlab-settings mode change 100644 => 100755 singleuser/jupyterlab_settings/extensionmanager-extension/plugin.jupyterlab-settings diff --git a/singleuser/Dockerfile b/singleuser/Dockerfile index 89db350..339ec41 100755 --- a/singleuser/Dockerfile +++ b/singleuser/Dockerfile @@ -50,10 +50,15 @@ COPY install_monitoring.sh /tmp/ COPY install_hugo.sh /tmp/ COPY install_geckodriver.sh /tmp/ +USER root ## CONFIG # Copy over config which creates launcher icons in jupyterlab COPY jupyter_notebook_config.py /home/jovyan/.jupyter/ -COPY ./jupyterlab_settings /home/jovyan/.jupyter/lab/user-settings/@jupyterlab +RUN mkdir -p /home/$NB_USER/.jupyter/lab/workspaces/ +COPY ./jupyterlab_settings /home/$NB_USER/.jupyter/lab/user-settings/@jupyterlab +RUN chmod -R 777 /home/$NB_USER/.jupyter/lab + +USER $NB_UID # USER SETTINGS RUN echo "export EDITOR=/usr/bin/vim" >> /home/$NB_USER/.bashrc diff --git a/singleuser/jupyterlab_settings/apputils-extension/themes.jupyterlab-settings b/singleuser/jupyterlab_settings/apputils-extension/themes.jupyterlab-settings old mode 100644 new mode 100755 index 419e835..57d3fd5 --- a/singleuser/jupyterlab_settings/apputils-extension/themes.jupyterlab-settings +++ b/singleuser/jupyterlab_settings/apputils-extension/themes.jupyterlab-settings @@ -6,5 +6,6 @@ // Selected Theme // Application-level visual styling theme - "theme": "JupyterLab Dark" -} \ No newline at end of file + // "theme": "JupyterLab Dark" + "theme": "JupyterLab Miami Nights" +} diff --git a/singleuser/jupyterlab_settings/codemirror-extension/commands.jupyterlab-settings b/singleuser/jupyterlab_settings/codemirror-extension/commands.jupyterlab-settings old mode 100644 new mode 100755 diff --git a/singleuser/jupyterlab_settings/extensionmanager-extension/plugin.jupyterlab-settings b/singleuser/jupyterlab_settings/extensionmanager-extension/plugin.jupyterlab-settings old mode 100644 new mode 100755