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

プロキシ設定の切り替えが必要になったので、Firefoxにも設定した。

FoxyProxy
https://addons.mozilla.org/ja/firefox/addon/2464

proxyサーバが動作しているかを判定した切り替えも行える、Firefoxのアドオンとして動くツール。
Firefoxの「ツール」メニューのなかにサブメニューとして入ってくれて、proxyの設定だけでなく、「特定のページはProxyを使わない」といった細かい設定も登録できる。