diff options
Diffstat (limited to 'deliveries/os_Dockerfile')
| -rw-r--r-- | deliveries/os_Dockerfile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/deliveries/os_Dockerfile b/deliveries/os_Dockerfile index efba0bdd..56faa6ad 100644 --- a/deliveries/os_Dockerfile +++ b/deliveries/os_Dockerfile @@ -3,6 +3,15 @@ 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 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 + # Install the python script required for "add-apt-repository" RUN apt-get update && apt-get install -y software-properties-common |