diff --git a/package b/package index 72472e1..b036bee 100755 --- a/package +++ b/package @@ -119,6 +119,10 @@ if __name__ == "__main__": "--volume=tamarin-hooks,kind=host,source={:s}".format(tamarin.get_hooks_dir()), "--volume=tamarin-lib,kind=host,source={:s}".format(tamarin.get_lib_dir()), "--volume=tamarin-profiles,kind=host,source={:s}".format(tamarin.get_profiles_dir()), + "--set-env=HTTP_PROXY={:s}".format(os.environ['HTTP_PROXY']), + "--set-env=HTTPS_PROXY={:s}".format(os.environ['HTTP_PROXY']), + "--set-env=http_proxy={:s}".format(os.environ['http_proxy']), + "--set-env=https_proxy={:s}".format(os.environ['https_proxy']), #"--interactive", "--exec", "/bin/bash" "--exec", "/usr/bin/python3", "--", "/tamarin/lib/build.py", args.profile, args.architecture ], as_root=True)