From d01d8ce7385f6e4e1ef4bc9dffc8d29b0873e225 Mon Sep 17 00:00:00 2001 From: Grammy Jiang Date: Thu, 4 Apr 2024 11:32:29 +1100 Subject: [PATCH] Allow the proxies in requests download --- src/portable_python/__init__.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/portable_python/__init__.py b/src/portable_python/__init__.py index 2985d08..709e9e5 100644 --- a/src/portable_python/__init__.py +++ b/src/portable_python/__init__.py @@ -610,7 +610,14 @@ def compile(self): basename = runez.basename(self.url, extension_marker="#") path = self.setup.folders.sources / basename if not path.exists(): - RestClient().download(self.url, path) + proxies = {} + http_proxy = os.environ.get("HTTP_PROXY") or os.environ.get("http_proxy") + if http_proxy: + proxies["http"] = http_proxy + https_proxy = os.environ.get("HTTPS_PROXY") or os.environ.get("https_proxy") + if https_proxy: + proxies["https"] = https_proxy + RestClient().download(self.url, path, proxies=proxies) runez.decompress(path, self.m_src_build, simplify=True)