path
ci/woodpecker/push/woodpecker Pipeline was successful
Details
ci/woodpecker/push/woodpecker Pipeline was successful
Details
This commit is contained in:
parent
d8388916c7
commit
0fde6d347f
|
@ -7,4 +7,4 @@ pipeline:
|
|||
registry: https://git.sandbox.iuk.hdm-stuttgart.de
|
||||
repo: git.sandbox.iuk.hdm-stuttgart.de/grosse/jupyterlab-datascience
|
||||
dockerfile: Dockerfile
|
||||
tags: new
|
||||
tags: latest
|
|
@ -2,5 +2,5 @@ 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
|
||||
RUN mkdir -p ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/ && \
|
||||
RUN mkdir -p ~/.jupyter/lab/user-settings/@jupyterlab/apputils-extension && \
|
||||
echo '{ "theme":"Sandbox" }' > themes.jupyterlab-settings
|
Loading…
Reference in New Issue