From 0336a3de09039dec1068eda044f1d992ff9d87ce Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Mon, 30 Nov 2020 09:35:58 +0100
Subject: [PATCH] Fixed docker file.

---
 docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index f113d1c..7d958c5 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -3,5 +3,5 @@ FROM openjdk:13-jdk-alpine
 RUN echo "jenkins:x:2030:100:guest:/home/jenkins:/sbin/nologin" >> /etc/passwd && \
     mkdir /home/jenkins && chmod 777 /home/jenkins && \ 
     apk update && \
-    apk add git openssh zip R bash
+    apk add git openssh zip R bash curl
 
-- 
GitLab