[build] add useful apt packages to openmpi image

TRIQS · Feb 21, 2024 · 2cf2e37 · 2cf2e37
1 parent 9abbf7a
commit 2cf2e37
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Docker/openmpi_dockerfile b/Docker/openmpi_dockerfile
@@ -7,6 +7,10 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-ins
       ca-certificates \
       clang-${LLVM} \
       cmake \
+      sudo \
+      less \
+      vim \
+      nano \
       curl \
       cython3 \
       debhelper \