Move Jupyter configs to system-wide locations

- Configure IPython and Jupyter server at system level
- Add settings to show hidden files in JupyterLab
- Remove ipython_config.py from .gitignore
- Dockerfile: copy files in respective locations

Author: edoardob90

.gitignore

@@ -79,7 +79,6 @@ target/
 
 # IPython
 profile_default/
-ipython_config.py
 
 # pyenv
 .python-version

Dockerfile

@@ -26,11 +26,11 @@ RUN mamba env update -n base -f /tmp/environment.yml && \
     pip uninstall -y torch torchvision && \
     # Install PyTorch packages without cache - conditionally based on variant
     if [ "$PYTORCH_VARIANT" = "cpu" ]; then \
-        echo "Installing CPU-only PyTorch" && \
-        pip install --no-cache-dir --force-reinstall torch torchvision --index-url https://download.pytorch.org/whl/cpu; \
+    echo "Installing CPU-only PyTorch" && \
+    pip install --no-cache-dir --force-reinstall torch torchvision --index-url https://download.pytorch.org/whl/cpu; \
     else \
-        echo "Installing CUDA-enabled PyTorch" && \
-        pip install --no-cache-dir --force-reinstall torch torchvision; \
+    echo "Installing CUDA-enabled PyTorch" && \
+    pip install --no-cache-dir --force-reinstall torch torchvision; \
     fi && \
     # Clean up all package caches to reduce image size
     mamba clean --all -f -y && \
@@ -63,6 +63,17 @@ RUN apt-get update && \
     apt-get clean && \
     rm -rf /var/lib/apt/lists/*
 
+# System-wide Jupyter Server config
+COPY docker/jupyter_server_config.py /etc/jupyter/
+
+# Jupyter Lab settings
+RUN mkdir -p /opt/conda/share/jupyter/lab/settings
+COPY docker/overrides.json /opt/conda/share/jupyter/lab/settings/
+
+# System-wide IPython profile config
+RUN mkdir -p /etc/ipython/profile_default
+COPY docker/ipython_config.py /etc/ipython/profile_default/
+
 # Switch back to the default notebook user
 USER ${NB_UID}
 
@@ -72,9 +83,6 @@ COPY --from=builder ${CONDA_DIR} ${CONDA_DIR}
 # Copy home directory with configurations
 COPY --from=builder --chown=${NB_UID}:${NB_GID} /home/${NB_USER} /home/${NB_USER}
 
-# Prepare IPython configuration
-COPY --chown=${NB_UID}:${NB_GID} binder/ipython_config.py ${HOME}/.ipython/profile_default/
-
 # Set the working directory to user's home (repository will be cloned here by Renku)
 WORKDIR /home/${NB_USER}
 

docker/ipython_config.py

@@ -0,0 +1,5 @@
+# Configuration file for ipython.
+c = get_config()  # noqa # type: ignore
+
+# Automatically load testsuite extension
+c.InteractiveShellApp.extensions = ["tutorial.tests.testsuite"]

docker/jupyter_server_config.py

@@ -0,0 +1,6 @@
+# Configuration file for jupyter server.
+
+c = get_config()  # noqa # type: ignore
+
+# Allow serving files/folders beginning with a dot
+c.ContentsManager.allow_hidden = True

docker/overrides.json

@@ -0,0 +1,5 @@
+{
+  "@jupyterlab/filebrowser-extension:browser": {
+    "showHiddenFiles": true
+  }
+}