ubuntu 18.04 proxy

.profile

PROXY_URL=”http://proxy_url:port_num/”

HTTP_PROXY=$PROXY_URL
HTTPS_PROXY=$PROXY_URL
http_proxy=$PROXY_URL
https_proxy=$PROXY_URL
export HTTP_PROXY HTTPS_PROXY http_proxy https_proxy