Si vous avez le message d’erreur “fatal: unable to access … Could not resolve host: github.com“ lors de l’utilisation de Git, le réseau requiert surement un Proxy…

Dans ce petit post je résume les deux-trois commandes qui permettent de setter un proxy, mais aussi d’afficher les paramètres actuels et des supprimer.

Les principales commandes

1 – Ajouter la configuration de votre proxy

[syntax type=”js”]git config –global http.proxy http://proxyuser:proxypwd@proxy.server.com:8080
git config –global https.proxy https://proxyuser:proxypwd@proxy.server.com:8080[/syntax]

2 – Afficher la configuration actuelle

[syntax type=”js”]git config –global –get http.proxy
git config –global –get https.proxy[/syntax]

3 – Supprimer la configuration de votre proxy

[syntax type=”js”]git config –global –unset http.proxy
git config –global –unset https.proxy[/syntax]