Utiliser Git derrière un proxy avec authentification

Si vous utilisez Git derrière un proxy voici comment le configurer afin de pouvoir discuter avec le dépôt distant.

$ git config --global http.proxy http://username:password@proxy-server-domain:port

Cela ajoute une entrée dans le fichier de configuration globale de git : ~/.gitconfig

$ view ~/.gitconfig
....
[http]
        proxy = http://username:password@proxy-server-domain:port