Add procps to bash docker

dodona-edu · Sep 20, 2023 · 37f8b6d · 37f8b6d
1 parent dc16bd9
commit 37f8b6d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/dodona-bash.dockerfile b/dodona-bash.dockerfile
@@ -11,16 +11,17 @@ RUN apt-get update && \
         curl=7.74.0-1.3+deb11u7 \
         ed=1.17-1 \
         figlet=2.2.5-3+b1 \
-        file=1:5.39-3 \
+        file \
         fonts-noto-color-emoji \
         fortune-mod=1:1.99.1-7.1 \
         git=1:2.30.2-1+deb11u2 \
         gcc=4:10.2.1-1 \
         gcc-multilib=4:10.2.1-1 \
-        imagemagick=8:6.9.11.60+dfsg-1.3+deb11u1 \
+        imagemagick \
         inkscape=1.0.2-4 \
         librsvg2-bin=2.50.3+dfsg-1 \
         poppler-utils=20.09.0-3.1+deb11u1 \
+        procps \
         strace=5.10-1 \
         toilet=0.3-1.3 \
         tree=1.8.0-1+b1 \