From d2f1e5f3abc6078ffc8c445858567ce13cb6845a Mon Sep 17 00:00:00 2001
From: Helge Gehring <42973196+HelgeGehring@users.noreply.github.com>
Date: Mon, 31 Jul 2023 02:24:46 -0700
Subject: [PATCH] Dockerfile: add gmsh

---
 .docker/Dockerfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.docker/Dockerfile b/.docker/Dockerfile
index dbcd7875..8bcfa497 100644
--- 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