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]