プロキシ設定の切り替えツール（Internet Explorer）

日常的にノートパソコンの Proxy を「使う」「使わない」切替しなくてはならない生活になった。
が、どう考えてもInternet Explorer・インターネット オプションの「接続」設定をいちいち開くのはしんどすぎるということで、調べて設定してみた。メモとして。
あとは FireFox も設定したい。

ProxyのON/OFFの切り替え（感謝。）
http://www.tkssoft.com/cmd/cmd013.html

（このスクリプトがやってくれていること）
レジストリのうち
"HKEY_CURRENT_USER\SOFTWARE\Microsoft\Windows\CurrentVersion\Internet Settings"
の ProxyServer の値（ reg_sz 型 ）に proxyserver.jp:8080 みたいに設定。
の ProxyOverride の値（ reg_sz 型 ）に "" とか "192.168.xx.yy; ＜local＞" みたいに設定。
※実際にかくときの "＜local＞" の不等号は半角。

うまくいったみたい。とっても快適。