chiark / gitweb /
bin/chroot-maint: Set HTTPS proxy along with the HTTP proxy.
[distorted-chroot] / 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)