Creating & Programming Robots

Back to git main page

To clone a git project behind a proxy, set the proxy in the environment variable HTTP_PROXY using the domain name of the LAN (Local Area Network) :

export HTTP_PROXY=proxy.ensieta.ecole:8080

You need to know the name of the proxy or it's IP address. For example, here the name of the proxyis proxy.ensieta.ecole. The port is generally 8080.

Then, configure git to use the proxy:

git config --global http.proxy http://proxy.ensieta.ecole:8080

If you only know the IP address of the proxy (ex. 192.168.1.1), you can do this :

export HTTP_PROXY=192.168.1.1:8080
git config --global http.proxy http://192.168.1.1:8080