diff options
Diffstat (limited to 'sdc-os-chef/sdc-frontend/Dockerfile')
| -rw-r--r-- | sdc-os-chef/sdc-frontend/Dockerfile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/sdc-os-chef/sdc-frontend/Dockerfile b/sdc-os-chef/sdc-frontend/Dockerfile index a59d868f7f..17034ef9e0 100644 --- a/sdc-os-chef/sdc-frontend/Dockerfile +++ b/sdc-os-chef/sdc-frontend/Dockerfile @@ -1,5 +1,14 @@ FROM jetty:9.3.15-jre8 +ARG HTTP_PROXY +ARG HTTPS_PROXY + +ENV HTTP_PROXY ${HTTP_PROXY} +ENV HTTPS_PROXY ${HTTPS_PROXY} + +RUN if [ ! -z ${HTTP_PROXY} ]; then echo "Acquire::http::proxy \"${HTTP_PROXY}\";" >> /etc/apt/apt.conf; fi && \ + if [ ! -z ${HTTPS_PROXY} ]; then echo "Acquire::https::proxy \"${HTTPS_PROXY}\";" >> /etc/apt/apt.conf; fi + RUN apt-get -y update RUN apt-get -y install apt-utils RUN apt-get -y install curl |