Merge pull request #298 from dodona-edu/bash-procps

Add procps to bash docker
dodona-edu · Sep 20, 2023 · 2c35a54 · 2c35a54
2 parents dc16bd9 + 863f90b
commit 2c35a54
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 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 \

diff --git a/dodona-r.dockerfile b/dodona-r.dockerfile
@@ -1,7 +1,6 @@
 FROM r-base:4.3.1
 
-# Make sure the students can't find our secret path, which is mounted in
-# /mnt with a secure random name.
+# hadolint ignore=DL3008
 RUN apt-get update && \
   apt-get install -y --no-install-recommends \
       default-jdk=2:1.17-74 \