Allow the proxies in requests download

codrsquad · Apr 9, 2024 · d01d8ce · d01d8ce
1 parent 75b47e5
commit d01d8ce
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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)