default options

ml-starter-packs · Nov 28, 2021 · 95cef91 · 95cef91
1 parent d0b0d25
commit 95cef91
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 3 deletions.
diff --git 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
@@ -6,5 +6,6 @@
 
     // Selected Theme
     // Application-level visual styling theme
-    "theme": "JupyterLab Dark"
-}
+    // "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
diff --git a/singleuser/jupyterlab_settings/extensionmanager-extension/plugin.jupyterlab-settings b/singleuser/jupyterlab_settings/extensionmanager-extension/plugin.jupyterlab-settings