Git set Proxy in Linux

Once you have obtained the proxy settings (server URL, port, username and password); you need to configure your git as follows:

$ git config --global http.proxy http://:@:

You would need to replace , , , with the values specific to your proxy server credentials. These fields are optional. For instance, your proxy server might not even require and , or that it might be running on port 80 (in which case is not required).

Once you have set these, your git pull, git push or even git fetch would work properly