export http_proxy=http://proxy:80/ export https_proxy=http://proxy:80/
Works on my machine.
Still, I just tried cloning a new repository and I got this error message:
> git clone git://github.com/chriskempson/base16-textmate.git Base16 Cloning into 'Base16'... fatal: unable to connect to github.com: github.com[0: 188.8.131.52]: errno=Connection timed outThat looked like the proxy didn't work. But that wasn't the case. The problem is that we are using the git-protocol which of course isn't routed through the http proxy. The solution is to change to the http protocol. Simple...
> git clone http://github.com/chriskempson/base16-textmate.git Base16 Cloning into 'Base16'... remote: Counting objects: 36, done. remote: Compressing objects: 100% (22/22), done. remote: Total 36 (delta 24), reused 26 (delta 14) Unpacking objects: 100% (36/36), done.