Proxy and Dockerfile

docker-proxy.sh

#!/bin/bash

#Verify http_proxy if presents used else ping google.com
docker-proxy-in() {
 if [ -z "$http_proxy" ] && ping -c 1 google.com > /dev/null ; then
     cat ${1:-Dockerfile}
 else
  sed -e "/FROM/a\\
    \\
     ENV http_proxy=\"$http_proxy\" https_proxy=\"$https_proxy\" ftp_proxy=\"$ftp_proxy\" no_proxy=\"$no_proxy\"
   " ${1:-Dockerfile}
   #remove information proxy
   echo 'ENV http_proxy="" https_proxy="" ftp_proxy="" no_proxy=*'
 fi
}

#Verify http_proxy if presents used else ping google.com
docker-proxy-file() {
 if [ -z "$http_proxy" ] && ping -c 1 google.com > /dev/null ; then
     echo ${1:-Dockerfile}
 else
  local file=${1:-Dockerfile}.proxy
  sed  "/FROM/a\\
    \\
     ENV http_proxy=\"$http_proxy\" https_proxy=\"$https_proxy\" ftp_proxy=\"$ftp_proxy\" no_proxy=\"$no_proxy\"
   "  ${1:-Dockerfile} > $file
   echo 'ENV http_proxy="" https_proxy="" ftp_proxy="" no_proxy=*' >> $file
   echo $file
  fi
}

proxy_dockerfile.adoc

Dockerfile and Proxy

Use with docker

source docker-proxy.sh

#If we use Dockerfile without ADD with context path
docker-proxy-in Dockerfile | docker build -
docker-proxy-in | docker build -

#else
docker build -f `docker-proxy-file`
docker build -f `docker-proxy-file Dockerfile`