Added modified docker file with code-server inside, modified singleuser base docker image

.gitignore

@@ -1 +1,2 @@
-.env
+.env
+.idea

singleuser/Dockerfile

@@ -30,3 +30,47 @@ RUN \
     [ -d "/home/jovyan/work" ] && rm -r /home/jovyan/work \
     # Install dependencies: pip
     && pip install /tmp/ipython-datajoint-creds-updater -r /tmp/config/pip_requirements.txt
+
+
+# CODE-SERVER INSTALLATION
+ARG code_server_proxy_wheel="jupyter_codeserver_proxy-1.0b3-py3-none-any.whl"
+ARG JUPYTER_CODESERVER_PROXY_DIR="jupyter_codeserver_proxy_dir"
+
+SHELL ["/bin/bash", "-o", "pipefail", "-c"]
+
+USER root
+
+# prerequisites ----
+RUN apt-get update && apt-get install -yq --no-install-recommends \
+    curl \
+    && apt-get clean && rm -rf /var/lib/apt/lists/*
+
+# creation of the jupyter_codeserver_proxy package ----
+WORKDIR $HOME/$JUPYTER_CODESERVER_PROXY_DIR
+COPY setup.py /${HOME}/${JUPYTER_CODESERVER_PROXY_DIR}
+COPY jupyter_codeserver_proxy /${HOME}/${JUPYTER_CODESERVER_PROXY_DIR}/jupyter_codeserver_proxy
+RUN python setup.py bdist_wheel
+WORKDIR ../..
+
+# code-server install ----
+#TODO: replace by wget already installed in the imag
+RUN curl -fsSL https://code-server.dev/install.sh | sh && \
+    rm -rf "${HOME}/.cache"
+
+USER $NB_UID
+
+# jupyter-server-proxy + code-server proxy install ----
+USER root
+RUN conda install --quiet --yes \
+    'jupyter-server-proxy' && \
+    jupyter labextension install @jupyterlab/server-proxy --version latest && \
+    pip install --quiet --no-cache-dir "${HOME}/${JUPYTER_CODESERVER_PROXY_DIR}/dist/${code_server_proxy_wheel}" && \
+    rm -rf "${HOME}/${JUPYTER_CODESERVER_PROXY_DIR}" && \
+    jupyter lab clean -y && \
+    npm cache clean --force && \
+    conda clean --all -f -y && \
+    fix-permissions "${CONDA_DIR}" && \
+    fix-permissions "/home/${NB_USER}"
+
+WORKDIR $HOME
+RUN touch .gitconfig

singleuser/jupyter_codeserver_proxy/__init__.py

@@ -0,0 +1,42 @@
+"""
+Return config on servers to start for codeserver
+
+See https://jupyter-server-proxy.readthedocs.io/en/latest/server-process.html
+for more information.
+"""
+import os
+import shutil
+import subprocess
+
+def setup_codeserver():
+    # Make sure codeserver is in $PATH
+    def _codeserver_command(port):
+        full_path = shutil.which('code-server')
+        if not full_path:
+            raise FileNotFoundError('Can not find code-server in $PATH')
+        working_dir = os.getenv("CODE_WORKINGDIR", None)
+        if working_dir is None:
+            working_dir = os.getenv("JUPYTER_SERVER_ROOT", ".")
+
+        dj_user = os.getenv("DJ_USER", None)
+        dj_user_email = os.getenv("DJ_USER_EMAIL", None)
+
+        # # Run Git commands if user information is provided
+        if dj_user is not None and dj_user_email is not None:
+            try:
+                subprocess.run(['git', 'config', '--global', 'user.name', dj_user], check=True)
+                subprocess.run(['git', 'config', '--global', 'user.email', dj_user_email], check=True)
+            except subprocess.CalledProcessError as e:
+                print(f"Error setting Git user: {e}")
+
+        return [full_path, f'--port={port}', "--auth", "none", working_dir]
+
+    return {
+        'command': _codeserver_command,
+        'timeout': 20,
+        'launcher_entry': {
+            'title': 'VS Code IDE',
+            'icon_path': os.path.join(os.path.dirname(os.path.abspath(__file__)),
+                                      'icons', 'vscode.svg')
+        }
+    }