Existe-t-il un raccourci ou un moyen simple de modifier les paramètres du proxy du système ?

Utilisez "Emplacements" dans les préférences réseau.

Mettez en place un emplacement qui a le proxy et ensuite un emplacement qui ne l'a pas. Lorsque vous souhaitez utiliser le proxy, choisissez cet emplacement et vos paramètres seront modifiés.

Jetez un coup d'œil à cette page chez YourMacGuy à propos de la commande Terminal networksetup . Bien que la page date de 2008, la commande existe et fonctionne dans MacOS Sierra. Peut-être que l'une des commandes liées au proxy vous conviendra. Vous pouvez toujours créer plusieurs emplacements dans Préférences Système > Réseau qui peuvent activer ou désactiver le proxy. Vous devrez cependant ouvrir les Préférences Système.

Je le fais en définissant des raccourcis dans Cuillère à marteau . Maintenant, je peux changer le proxy du système avec un simple raccourci. CommandOptionControlP .

Le code source est disponible sur GitHub .

Voici les étapes de la configuration :

1. Définissez l'IP et le port du proxy http et https manuellement pour la première fois, ce qui peut être fait en ligne de commande.

   networksetup -setwebproxy "Wi-fi" 127.0.0.1 8080 networksetup -setsecurewebproxy "Wi-fi" 127.0.0.1 8080

2. Ajoutez la fonction shell suivante à votre ~/.profile

   toggleProxy() { e=$(networksetup -getwebproxy wi-fi | grep "No")

   ns=wi-fi
   status=''
   if [ -n "$e" ]; then
     status=on
   else
     status=off
   fi
   
   echo -n "Turning $status proxy"
   networksetup -setstreamingproxystate $ns $status
   networksetup -setsocksfirewallproxystate $ns $status
   networksetup -setwebproxystate $ns $status
   networksetup -setsecurewebproxystate  $ns $status

   }

3. Ajoutez les éléments suivants à votre ~/.hammerspoon/init.lua

   hs.hotkey.bind({"cmd", "alt", "ctrl"}, "P", function() local output = hs.execute("toggleProxy", true) hs.alert.show(output) end)