chiark / gitweb /
bin/chroot-maint: Set HTTPS proxy along with the HTTP proxy.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 18 Jun 2024 22:36:17 +0000 (23:36 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 18 Jun 2024 22:36:17 +0000 (23:36 +0100)
bin/chroot-maint

index fbd45e3a7d2202ab791019cd0ea05c6bae2ad6ee..70a028a7302ce45020fa3caf309e2c4dac92fb5d 100755 (executable)
@@ -2810,7 +2810,7 @@ with toplevel_handler():
   FRESH = parse_fresh(OPT.fresh)
 
   SCHED = JobScheduler(rfd, wfd, njobs)
-  OS.environ["http_proxy"] = C.PROXY
+  OS.environ["http_proxy"] = OS.environ["https_proxy"] = C.PROXY
 
   jobs = []
   if not args: OPTIONS.print_usage(SYS.stderr); SYS.exit(2)