2023-01-23 12:47:54 +00:00
|
|
|
ARG LAB_IMAGE=jupyter/datascience-notebook:lab-3.5.2
|
|
|
|
|
|
|
|
FROM ${LAB_IMAGE}
|
|
|
|
RUN pip install --extra-index-url https://git.sandbox.iuk.hdm-stuttgart.de/api/packages/grosse/pypi/simple jupyterlab-sandbox-theme
|
2023-01-23 12:57:07 +00:00
|
|
|
RUN mkdir -p ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/ && \
|
2023-01-23 12:47:54 +00:00
|
|
|
echo '{ "theme":"Sandbox" }' > themes.jupyterlab-settings
|