How to use proxy in terminal
From the StackOverflow Q&amp;A entitled "Getting git to work with a proxy server?":


  Command to use :

git config --global http.proxy http://proxyuser:proxypwd@proxy.server.com:8080
git config --global https.proxy https://proxyuser:proxypwd@proxy.server.com:8080

  
  
  change proxyuser by your proxy user
  change proxypwd by your prxy password
  change proxy.server.com by proxy server url
  change 8080 by proxy port
  
  
  If you decide at any time to reset this proxy and work without (no
  proxy):
  
  Commands to use:

git config --global --unset http.proxy
git config --global --unset https.proxy



Git also respects the http_proxy and https_proxy environment variables.