プロキシ設定をコンソールから変更

システムのプロキシ設定をコンソールから変更するには、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 プロキシの有効・無効を切り替えられるようにしている。