diff options
author | Shashank Kumar Shankar <shashank.kumar.shankar@intel.com> | 2017-06-27 16:10:28 -0700 |
---|---|---|
committer | Shashank Kumar Shankar <shashank.kumar.shankar@intel.com> | 2017-06-28 16:23:58 +0000 |
commit | 3e5a0c35447d8699dfef7308fa6a3dc287bc0a64 (patch) | |
tree | 5fd5bc4014c069c0445d14c01520700255966173 /policy-os/Dockerfile | |
parent | 505888a539cfaf21199795c5b243c182ab3caceb (diff) |
Add proxy support in DockerFile.
This helps to build Policy-os docker image behind a proxy.
Change-Id: Ia31021249108544bfeba0087060dc32b68ff8844
Signed-off-by: Shashank Kumar Shankar <shashank.kumar.shankar@intel.com>
Diffstat (limited to 'policy-os/Dockerfile')
-rw-r--r-- | policy-os/Dockerfile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/policy-os/Dockerfile b/policy-os/Dockerfile index 92fd0577..30d52772 100644 --- a/policy-os/Dockerfile +++ b/policy-os/Dockerfile @@ -1,5 +1,11 @@ FROM ubuntu:14.04 +ARG HTTP_PROXY=${HTTP_PROXY} +ARG HTTPS_PROXY=${HTTPS_PROXY} + +ENV http_proxy $HTTP_PROXY +ENV https_proxy $HTTPS_PROXY + RUN \ apt-get clean && \ apt-get update && \ |