この記事では学校などのproxy環境と家の非proxy環境でスマートに設定を切り替える方法を紹介する。 毎回bashrcなりzshrcなどに書かれたhttp_proxyをコメントアウトするのが面倒な人にはおすすめ出来る。 ちなみにMacではnetworksetupコマンドを...