モチベーション
企業などではウェブブラウザのみプロキシを通し、特定の機関アプリなどもアプリ内部でプロキシを通す設定にしてることがある。 この場合、コマンドライン上やブラウザ・Windowsのネットワーク設定でプロキシアドレスのサーバーアドレスなど確認できない場合がある。
そのようなときに、プロキシサーバーのアドレスを確認する一方法としてメモに残しておく。
pac ファイルを使っている場合
“pac = Proxy Automated Configuration” らしい。 内部はJavascriptファイルとのことで、ブラウザがスクリプトを実行している。 アクセスしようとしているウェブサイトのアドレスに応じて適切なプロキシアドレスを返すようなプログラム担っている模様。
そのプログラムを除けば、大体の場合プロキシのアドレスが書いてあるとのこと。
普通に考えればその会社の情シスの想定外の使い方なので、常用するのは避けたほうがいいが・・・。
確認のしかた(インターネットエクスプローラー)
Internet Exploere11 のメニューから「インターネットオプション」→「接続」タブ→「LAN設定」(ボタン)へと進む。
pac を使っていれば、「自動構成スクリプトを使用する」にチェックが入っており、その下のテキストボックスにスクリプトへのアドレスが記入されているはず。
その記入されているアドレスをそのままコピーして、ブラウザのアドレス欄に入力する。
これで、Javascriptがそのまま表示されるはず。プロキシのアドレスは return 文でブラウザに戻されるので、return 文の周辺からそれっぽいアドレスとポート番号のペアを探す。
gitでつかう
git config --global http.proxy "http://{アドレス}:{ポート}"
HTTPS プロキシなら、
git config --global https.proxy "https://{アドレス}:{ポート}"
のように設定すればいいはず。