diff --git a/singleuser/Dockerfile b/singleuser/Dockerfile index 3aefdea..89db350 100755 --- a/singleuser/Dockerfile +++ b/singleuser/Dockerfile @@ -53,6 +53,7 @@ COPY install_geckodriver.sh /tmp/ ## 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 # 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 new file mode 100644 index 0000000..419e835 --- /dev/null +++ b/singleuser/jupyterlab_settings/apputils-extension/themes.jupyterlab-settings @@ -0,0 +1,10 @@ +{ + // Theme + // @jupyterlab/apputils-extension:themes + // Theme manager settings. + // ************************************* + + // Selected Theme + // Application-level visual styling theme + "theme": "JupyterLab Dark" +} \ No newline at end of file diff --git a/singleuser/jupyterlab_settings/codemirror-extension/commands.jupyterlab-settings b/singleuser/jupyterlab_settings/codemirror-extension/commands.jupyterlab-settings new file mode 100644 index 0000000..9cbe557 --- /dev/null +++ b/singleuser/jupyterlab_settings/codemirror-extension/commands.jupyterlab-settings @@ -0,0 +1,15 @@ +{ + // CodeMirror + // @jupyterlab/codemirror-extension:commands + // Text editor settings for all CodeMirror editors. + // ************************************************ + + // Key Map + // Configures the keymap to use + "keyMap": "default", + + // Theme + // CSS file defining the corresponding + // .cm-s-[name] styles is loaded + "theme": "solarized dark" +} \ No newline at end of file diff --git a/singleuser/jupyterlab_settings/extensionmanager-extension/plugin.jupyterlab-settings b/singleuser/jupyterlab_settings/extensionmanager-extension/plugin.jupyterlab-settings new file mode 100644 index 0000000..8de7947 --- /dev/null +++ b/singleuser/jupyterlab_settings/extensionmanager-extension/plugin.jupyterlab-settings @@ -0,0 +1,10 @@ +{ + // Extension Manager + // @jupyterlab/extensionmanager-extension:plugin + // Extension manager settings. + // ********************************************* + + // Disclaimed Status + // Whether the user understand that extensions managed through this interface run arbitrary code that may be dangerous + "disclaimed": true +} \ No newline at end of file