$ 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