Mac のターミナルで、プロキシ設定を環境に合わせて自動切替

目的 ノートPCを利用していると、職場ではプロキシ環境、自宅ではプロキシなしといった状況が出てくる。このとき、Mac では、通常、ネットワーク接続から簡単にネットワーク環境を切り替えることができるため、職場用と自宅用の設定を用意しておくことで(自動切替ではないが)解決する。一方、Mac のターミナルでは、実は…