Dockerfile: add gmsh

HelgeGehring · Jul 31, 2023 · d2f1e5f · d2f1e5f
1 parent 50261d7
commit d2f1e5f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.docker/Dockerfile b/.docker/Dockerfile
@@ -1,5 +1,11 @@
 FROM ghcr.io/mamba-org/micromamba:latest
 
+USER root
+RUN apt-get update && apt-get install -y --no-install-recommends \
+    gmsh \
+    && rm -rf /var/lib/apt/lists/*
+USER $MAMBA_USER
+
 COPY  --chmod=777 . ${HOME}
 
 RUN micromamba install -y -n base -f environment.yml julia && micromamba clean --all --yes