proxy_template

proxy_template.sh

#configuration.

export proxy=$1
export proxy_port=$2
export proxy_user=$3
export proxy_password=$4
export proxy_password_encoding=$5
export no_proxy=$6,/var/run/docker.sock


export use_proxy=on

#variables
export http_proxy="http://$proxy_user:$proxy_password_encoding@$proxy:$proxy_port"
export https_proxy="http://$proxy_user:$proxy_password_encoding@$proxy:$proxy_port"
export ftp_proxy="http://$proxy_user:$proxy_password_encoding@$proxy:$proxy_port"

export HTTP_PROXY=$http_proxy
export HTTPS_PROXY=$https_proxy
export FTP_PROXY=$ftp_proxy
export NO_PROXY=$no_proxy

export VAGRANT_HTTP_PROXY=$http_proxy
#Anomalie plugin vagrant
#export VAGRANT_YUM_HTTP_PROXY="http://$proxy_user:$proxy_password@$proxy:$proxy_port"
export VAGRANT_HTTPS_PROXY=$https_proxy
export VAGRANT_FTP_PROXY=$ftp_proxy
export VAGRANT_NO_PROXY=$no_proxy

export SBT_OPTS="$SBT_OPTS -Dhttp.proxyHost=$proxy -Dhttp.proxyPort=$proxy_port  -Dhttps.proxyHost=$proxy -Dhttps.proxyPort=$proxy_port -Dhttp.proxyUser=$proxy_user -Dhttp.proxyPassword=$proxy_password -Dhttp.nonProxyHosts=${no_proxy//,/|}"
export JAVA_OPTS="$JAVA_OPTS -Dhttp.proxyHost=$proxy -Dhttp.proxyPort=$proxy_port  -Dhttps.proxyHost=$proxy -Dhttps.proxyPort=$proxy_port -Dhttp.proxyUser=$proxy_user -Dhttp.proxyPassword=$proxy_password -Dhttp.nonProxyHosts=${no_proxy//,/|}"
export ANT_OPTS="$ANT_OPTS -Dhttp.proxyHost=$proxy -Dhttp.proxyPort=$proxy_port  -Dhttps.proxyHost=$proxy -Dhttps.proxyPort=$proxy_port -Dhttp.proxyUser=$proxy_user -Dhttp.proxyPassword=$proxy_password -Dhttp.nonProxyHosts=${no_proxy//,/|}"

# eg docker run $DOCKER_RUN_PROXY
export DOCKER_RUN_PROXY="-e https_proxy=$https_proxy -e http_proxy=$http_proxy -e no_proxy=$no_proxy -e HTTPS_PROXY=$https_proxy -e HTTP_PROXY=$http_proxy -e NO_PROXY=$no_proxy"

export GIT_SSH_COMMAND="ssh -o ProxyCommand=\"socat - PROXY:$proxy:%h:%p,proxyport=$proxy_port,proxyauth=$proxy_user:$proxy_password\""
#sudo networksetup -setwebproxystate "Ethernet" on
#sudo networksetup -setwebproxy "Ethernet" "$proxy" "$proxy_port" "on" "$proxy_user" "$proxy_password"

#sudo networksetup -setsecurewebproxystate "Ethernet" "on"
#sudo networksetup -setsecurewebproxy "Ethernet" "$proxy" "$proxy_port" "on" "$proxy_user" "$proxy_password"

ANT
Add <setproxy proxyhost="host" proxyport="8080" proxyuser=“login" proxyPassword="password" /> into build.xml.