From e238413edc6773ec919a3274bffea4ad5ceb10ee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guillaume=20Perr=C3=A9al?= <guillaume.perreal@inrae.fr>
Date: Fri, 8 Oct 2021 11:03:51 +0200
Subject: [PATCH] =?UTF-8?q?Evite=20que=20le=20test=20plante=20si=20http=5F?=
 =?UTF-8?q?proxy=20n'est=20pas=20d=C3=A9fini.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/test/Dockerfile b/test/Dockerfile
index 5a2b29e19..0555f1f6d 100644
--- a/test/Dockerfile
+++ b/test/Dockerfile
@@ -4,7 +4,7 @@ FROM debian:${DEBIAN_VERSION}
 RUN sed -i -e '/^Templates:/aFrontend: noninteractive' /etc/debconf.conf
 
 ARG http_proxy
-RUN [ -n "$http_proxy" ] && echo 'Acquire::http::Proxy "'$http_proxy'";' >/etc/apt/apt.conf.d/80proxies
+RUN if [ -n "$http_proxy" ] ; then echo 'Acquire::http::Proxy "'$http_proxy'";' >/etc/apt/apt.conf.d/80proxies ; fi
 RUN echo 'Acquire::https::Proxy "DIRECT";' >>/etc/apt/apt.conf.d/80proxies
 
 RUN apt-get update -yqq
-- 
GitLab