ビルドが実際に読む Git プロキシ設定を特定する

ビルドツールが Git に与えるのと同じ環境で調査を実行します:

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

値だけでなく取得元も比較し、認証情報を含む出力は非公開に保ちます。HOME を変更するビルドは、Git のユーザー設定検索をターミナルの作業設定から移動させることがあります。XDG_CONFIG_HOME も通常のユーザー設定検出に関与します。

意図するポリシーが固定の承認済みグローバルファイルである場合は、その起動に対してそのファイルを選択します:

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

これはグローバルファイルの入力を変更するもので、システム、リポジトリ、コマンドレベルの設定ではありません。Git を間接的に起動する場合は、ビルドツールがサポートする子環境インターフェース経由で変数を渡します。

この明示的なファイルは、秘密の設定を意図しないホームディレクトリにコピーせずに、必要なプロキシと URL のルールを保持できます。リポジトリの転送も確認してください。HTTP プロキシ設定は SSH URL の経路を提供しません。