Windows serverでGit for Windowsを使っています。
特定のリポジトリのアクセスだけプロキシサーバを使う設定にしたいです。
を参照しましたが、同じようなURLを1つ1つ設定するのは大変なので、
https://*.example.com/*
のようなワイルドカードでの設定はできないのでしょうか?
Windows serverでGit for Windowsを使っています。
特定のリポジトリのアクセスだけプロキシサーバを使う設定にしたいです。
を参照しましたが、同じようなURLを1つ1つ設定するのは大変なので、
https://*.example.com/*
のようなワイルドカードでの設定はできないのでしょうか?
git-config
の http.<url>.*
の項(リンクが壊れていて該当箇所には飛べないようです)に
https://*.example.com/
for example would matchhttps://foo.example.com/
, but nothttps://foo.bar.example.com/
.
とありました。
[http]
proxy = http://proxy.acme.com:8080
[http "http://*.example.com/"]
proxy =
であれば書けるようです。
example.com
など例示用ドメインを使いましょう。