Configurer Git pour utiliser un proxy

En ligne de commande, 2 possibilités :

1. Sous Windows dans le contexte local :

set http_proxy=https://addr_ip:port

2. Dans un contexte global :

git config –global http.proxy https://addr_ip:port

Vérification de la configuration :

git config –list