システムのプロキシ設定をコンソールから変更するには、networksetup コマンドを使う。プロキシサーバのアドレスを変更することももちろん可能だが、自分が使うのはオン・オフの切り替えのみ。
alias poff='sudo networksetup -setwebproxystate "Thunderbolt Ethernet" off;sudo networksetup -setsecurewebproxystate "Thunderbolt Ethernet" off' alias pon='sudo networksetup -setwebproxystate "Thunderbolt Ethernet" on;sudo networksetup -setsecurewebproxystate "Thunderbolt Ethernet" on'
と登録しておいて、手早く HTTP および HTTPS プロキシの有効・無効を切り替えられるようにしている。