Add procps to bash docker

dodona-edu · Sep 20, 2023 · f906921 · f906921
1 parent dc16bd9
commit f906921
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dodona-bash.dockerfile b/dodona-bash.dockerfile
@@ -21,6 +21,7 @@ RUN apt-get update && \
         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 \