Skip to content

Commit

Permalink
Fix: install mermaid as root
Browse files Browse the repository at this point in the history
  • Loading branch information
andreas-zeller committed Jun 30, 2024
1 parent 8bdf56c commit 82984c1
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion binder/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,9 @@ FROM docker.io/library/buildpack-deps:jammy
ARG PROJECT=debuggingbook
ARG REPO=https://github.com/uds-se/${PROJECT}.git

# Meta-data
LABEL description="$(PROJECT).org image from $(REPO)"

# Install git and pip
RUN apt-get update
RUN apt-get install -y git python3 pip npm gcc
Expand All @@ -37,6 +40,9 @@ RUN echo "This is ${PROJECT} with $(python3 --version)" 1>&2
RUN pip install --no-cache --upgrade pip && \
pip install --no-cache notebook jupyterlab

# Install mermaid
RUN npm i -g mermaid

# Add the default user
ARG NB_USER=jovyan
ARG NB_UID=1000
Expand Down Expand Up @@ -70,7 +76,8 @@ USER ${NB_USER}
ENV PATH="/home/${NB_USER}/.local/bin:$PATH"

# Set up the conda environment
# (Skipping for now, as installing conda is hard)
# (Skipping for now, as installing conda is hard,
# and apparently we can do without)
# RUN conda env create -f binder/environment.yml
# RUN conda activate myenv

Expand Down

0 comments on commit 82984c1

Please sign in to comment.