From 4a6aa60a05d2a8e363ccc7a47c28ecdc026e1f98 Mon Sep 17 00:00:00 2001 From: Renaud Michaelis Date: Mon, 18 Jan 2021 12:09:53 +0100 Subject: [PATCH] Use proxy settings --- build | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/build b/build index b6c196e69..a8ba60fe8 100755 --- a/build +++ b/build @@ -95,8 +95,10 @@ def main(): base = env["DOCKER_BASE"] if "DOCKER_BASE" in env else "camptocamp/geoportailv3" tag = ":" + env["DOCKER_TAG"] if "DOCKER_TAG" in env else "" schema = env["PGSCHEMA"] - http_proxy = env["http_proxy"] - https_proxy = env["https_proxy"] + if "http_proxy" in env: + http_proxy = env["http_proxy"] + if "https_proxy" in env: + https_proxy = env["https_proxy"] default = not (args.config or args.geoportal)