$ export http_proxy=http://proxy.ip.ad.ress:portnumber/ $ export https_proxy=http://proxy.ip.ad.ress:portnumber/ $ git config --global http.proxy $http_proxy $ git config --global https.proxy $http_proxy
from: https://ask.openstack.org/en/question/80040/error-devstacktoolsinstall_pipsh58-download-of-get-pippy-failed/