Déterminer quelle configuration de proxy Git la compilation lit réellement

Inspectez l'origine de la configuration dans le contexte de lancement de la compilation, puis sélectionnez explicitement un fichier global approuvé lorsqu'un HOME modifié ne doit pas le choisir.

Exécutez l'inspection dans le même environnement que l'outil de compilation fournit à Git :

git config --show-origin --get-regexp '^http[.].*proxy$'

Comparez les origines autant que les valeurs, en gardant privée toute sortie contenant des identifiants. Une compilation qui modifie HOME peut éloigner la recherche de la configuration utilisateur de Git de la configuration de travail du terminal. XDG_CONFIG_HOME participe aussi à la découverte normale de la configuration utilisateur.

Si la politique visée est un fichier global approuvé fixe, sélectionnez-le pour ce lancement :

GIT_CONFIG_GLOBAL=/path/to/build.gitconfig git fetch

Cela modifie l'entrée du fichier global, pas les réglages au niveau du système, du dépôt ou de la commande. Pour un lancement indirect de Git, transmettez la variable via l'interface d'environnement enfant prise en charge par l'outil de compilation.

Ce fichier explicite peut contenir les règles de proxy et d'URL requises sans copier de réglages privés dans un répertoire personnel accidentel. Vérifiez aussi le transport du dépôt : la configuration du proxy HTTP ne fournit pas la route pour une URL SSH.

Articles similaires