diff options
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 && \ |