The work computer that I have, I occasionally carry it at home. Now, we have a proxy server at work, and I have configured
git to use it by doing
git config --global http.proxy http://proxy.company.com. So when I get back at home, I do not require a proxy, so I need to unset the
http.proxy. This is okay if I have to do it once in a while, but right now I need to do this every day: set the proxy, when I get to work, go home and unset the proxy, next day set it at work again.
What I require
A way to bypass the
http.proxy that has been set, individually in every command. Something like a
git --no-proxy pull
I do not want to specify the proxy in every command, like:
because I do more
gitting at work than I do at home.