Git derrière un proxy

Pour définir un proxy dans git:

git config --global http.proxy http://utilisateur:motdepasse@adresse.ip.proxy:3128

• changer utilisateur par le login de connexion au proxy
• changer motdepasse par le passwd du login connexion au proxy
• changer adresse.proxy par l’adresse ip du proxy
• changer 3128 par le port utilisé par le proxy

Si il n’y a pas besoin de s’authentifier sur le proxy, la commande prendra cette forme:

git config --global http.proxy http://adresse.ip.proxy:3128

SI vous avez besoin de le retirer:

git config --global --unset http.proxy

Pour voir la configuration courante:

git config --global --get http.proxy