From c9d583176e74b4c664bd23cf4e4f0c06af6d1372 Mon Sep 17 00:00:00 2001
From: Mark Paluch <mpaluch@vmware.com>
Date: Thu, 23 Feb 2023 09:15:55 +0100
Subject: [PATCH] Add wget and git to the image.

See #30
---
 ci/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Dockerfile b/ci/Dockerfile
index 6279d64..808f1d2 100755
--- a/ci/Dockerfile
+++ b/ci/Dockerfile
@@ -17,7 +17,7 @@ RUN set -eux; \
 	sed -i -e 's/ports.ubuntu.com/ftp.tu-chemnitz.de\/pub\/linux/g' /etc/apt/sources.list && \
 	sed -i -e 's/http/https/g' /etc/apt/sources.list && \
 	apt-get update &&  \
-    apt-get -y install curl zip gnupg gnupg1 libfreetype6 fontconfig && \
+    apt-get -y install curl zip gnupg gnupg1 libfreetype6 fontconfig wget git && \
     rm -rf /var/lib/apt/lists/* &&  \
     rm -rf /tmp/*