News of the world

This blog is in the first case meant for myself so I don't forget interesting stuff. So you will find lots of useless topics, but there will certainly be also readings that might interest you. Lots of the items will go about my family, things we do or don't do but also about software, cars, gadgets, music, etc ... .

16 mrt. 2012

Remote Git operations through proxy

If you are like me using Git from behind a firewall and proxy that blocks everything except HTTP, you might want to set the following settings for Git:

// Set proxy for git globally
git config --global http.proxy http://proxy:8080

// To check the proxy settings
git config --get http.proxy

// Just in case you need to you can also revoke the proxy settings
git config --global --unset http.proxy


Happy coding! ;-)

Labels: , ,