Étiquette : git

9 mars 2017 /

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