From 863f90b0b49d2384f875aba0601ce44f689964e8 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Wed, 20 Sep 2023 14:06:35 +0200
Subject: [PATCH] Add procps to bash docker

---
 dodona-bash.dockerfile | 5 +++--
 dodona-r.dockerfile    | 3 +--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/dodona-bash.dockerfile b/dodona-bash.dockerfile
index 3c620ef..ca912f9 100644
--- 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
index 7d16c06..b580ec8 100644
--- 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 \