Back to [[git:main-git|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) :
<code bash>
export HTTP_PROXY=proxy.ensieta.ecole:8080
</code>
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:
<code bash>
git config --global http.proxy http://proxy.ensieta.ecole:8080
</code>


If you only know the IP address of the proxy (ex. 192.168.1.1), you can do this :
<code bash>
export HTTP_PROXY=192.168.1.1:8080
git config --global http.proxy http://192.168.1.1:8080
</code>