Configurer un proxy pour travailler avec Git

1. Protocoles proxy pris en charge dans Git
2. Utiliser un proxy HTTP dans les commandes Git
3. Utiliser un proxy HTTPS dans les commandes Git
4. Configurer un proxy en permanence dans le fichier de configuration Git
5. Supprimer le paramètre de proxy pour un référentiel Git
6. Configurer un Proxy SOCKS dans Git

Cet article traite de la configuration de Git pour qu’il fonctionne avec différents proxys. Il est généralement difficile d’accéder à Git tout en travaillant derrière un pare-feu d’entreprise.

Nous couvrirons certains des proxys pris en charge par Git, comment les configurer et comment alimenter le proxy à notre ligne de commande pour un usage unique. Commençons.

Protocoles proxy pris en charge dans Git

Git prend en charge les proxys suivants :

1. HTTP
2. HTTPS
3. SOCKS4
4. SOCKS5

Utiliser un proxy HTTP dans les commandes Git

Nous éditons normalement le fichier de configuration Git pour utiliser des proxys. Cependant, Git nous permet de fournir le proxy à notre terminal pour une utilisation rapide.

Voici un exemple de proxy HTTP sur la ligne de commande.

$ git config --global http.proxy http://username:password@proxy_server.com:port

Dans un scénario avec un domaine spécifique, nous exécuterons la commande comme indiqué ci-dessous.

$ git config --global http.http://specific_domain.com.proxy http://username:password@proxy_server.com:port

Notez que nous avons ajouté notre domaine entre http.proxy, et nous alimentons l’URL complète du proxy. L’URL complète permet à Git de reconnaître et d’exécuter automatiquement le protocole.

Utiliser un proxy HTTPS dans les commandes Git

Dans un scénario où nous travaillons derrière un pare-feu, voici comment nous allons exécuter les commandes pour un protocole proxy HTTPS.

$ git config --global http.https://specific_domain.com.proxy http://username:password@proxy_server.com:port

L’URL va entre http.proxy, mais notez les changements de http://specific_domain.com à https://specific_domain.com.

Vous pouvez désactiver la vérification SSL pour éviter les problèmes, comme indiqué ci-dessous.

$ git config --global http.https://specific_domain.com.sslVerify false

Configurer un proxy en permanence dans le fichier de configuration Git

Nous pouvons stocker de manière permanente les paramètres ci-dessus dans le fichier de configuration Git. Nous utilisons le commutateur --global pour définir les configurations de tous les utilisateurs et connexions.

Définir un proxy global avec le commutateur --Global

Si nous avons besoin que toutes nos actions Git passent par notre proxy, nous exécutons :

$ git config --global http.proxy http://username:password@proxy_server.com:port

Définir un proxy pour un domaine spécifique

Nous exécuterons la commande ci-dessous si nous voulons qu’un domaine spécifique se connecte via notre proxy.

$ git config --global http.https://domain.com.proxy http://username:password@proxy_server.com:port

Désactiver la vérification HTTPS

Si vous obtenez ce message d’erreur unable to access 'https://...': Unknown SSL protocol error in connection to ...:443, vous pouvez désactiver la vérification SSL comme indiqué ci-dessous.

$ git -c http.sslVerify=false clone https://domain.com/example.git

Alternativement, vous pouvez le désactiver ensemble, comme indiqué ci-dessous.

$ git config http.sslVerify false

Supprimer le paramètre de proxy pour un référentiel Git

Nous utilisons la commande ci-dessous pour répertorier tous les proxys connectés à notre référentiel.

$ git config --get-regexp http.*

Nous pouvons utiliser l’une des syntaxes ci-dessous pour supprimer notre proxy.

$ git config --unset http.proxy
$ git config --unset http.https://domain.com.proxy

ou

$ git config --unset http.sslVerify
$ git config --unset http.https://domain.com.sslVerify

Comme indiqué ci-dessous, nous pouvons ajouter le commutateur global pour supprimer les paramètres de proxy de tous nos référentiels.

$ git config --global --unset http.proxy
$ git config --global --unset http.https://domain.com.proxy

Configurer un Proxy SOCKS dans Git

Comme mentionné précédemment, Git supporte les protocoles socks5:// et socks4://.

Exécutez les commandes ci-dessous pour configurer les protocoles SOCKS.

$ git config --global http.proxy socks5://proxy_server.com:port

Pour un domaine spécifique, exécutez :

$ git config --global http.https://domain.com.proxy socks5://proxy_server.com:port