- Real Time Collaboration enabled
- File ID manager setup:
jupyter_server_fileid.manager.LocalFileIdManager
You can access the server log by displaying ~/.jupyter-server-log.txt
in a terminal.
The demonstration markdown file [World Population](./World Population.md) is copied from Jupytext.
ARG BASE_IMAGE=jupyterhub/jupyterhub:2 | |
FROM $BASE_IMAGE | |
RUN python3 -m pip install -U setuptools pip \ | |
&& python3 -m pip install -U jupyterlab \ | |
&& useradd --no-log-init -r -u 999 jovyan && mkdir -p /home/jovyan && chown jovyan /home/jovyan \ | |
&& useradd --no-log-init -r -u 998 marc && mkdir -p /home/marc && chown marc /home/marc | |
COPY ./jupyterhub_config.py /srv/jupyterhub/ |