$ 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/