Command to use:
git config --global http.proxy http://proxyuser:proxypwd@proxy.server.com:8080
- change
proxyuserto your proxy user - change
proxypwdto your proxy password - change
proxy.server.comto the URL of your proxy server - change
8080to the proxy port configured on your proxy server
Note that this works for both http and https repos.
If you decide at any time to reset this proxy and work without proxy:
Command to use:
git config --global --unset http.proxy
Finally, to check the currently set proxy:
git config --global --get http.proxy