ノートPCを使うとき、大学ではプロキシを介してネットに接続して、家だと直接接続というのを毎度手動で切り替えてたのだけど、 どうやらFirefoxやGnome向けにスクリプトを書けば自動で切り替えれるらしいということを聞いてやってみた。 # FirefoxでもGnome…