From b14f68c9fa9c166d8a5b29da10cdc8f697632951 Mon Sep 17 00:00:00 2001
From: Niko Strijbol <strijbol.niko@gmail.com>
Date: Mon, 20 Nov 2023 18:16:56 +0100
Subject: [PATCH] Add Bash lang dependencies

---
 dodona-tested.dockerfile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/dodona-tested.dockerfile b/dodona-tested.dockerfile
index 38a8211..a3dd9ee 100644
--- a/dodona-tested.dockerfile
+++ b/dodona-tested.dockerfile
@@ -10,11 +10,13 @@ RUN mkdir -p /usr/share/man/man1mkdir -p /usr/share/man/man1 \
  && apt-get update \
  # Install additional dependencies
  && apt-get install -y --no-install-recommends \
-       procps=2:3.3.17-5 \
-       dos2unix=7.4.1-1 \
+       procps \
+       dos2unix \
        curl \
-       zip=3.0-12 \
-       unzip=6.0-26+deb11u1 \
+       zip \
+       unzip \
+       # Bash language dependencies
+       bc binutils bsdmainutils cowsay ed figlet file toilet tree vim xxd \
  && curl https://packages.microsoft.com/config/debian/11/packages-microsoft-prod.deb --output packages-microsoft-prod.deb \
  && dpkg -i packages-microsoft-prod.deb \
  && rm packages-microsoft-prod.deb \