Bonjour à tous,
J'ai un ordinateur portable, sur lequel j'ai une debian stretch avec gnome. Je souhaiterai configurer dessus plusieurs serveurs mandataires manuels (proxies), selon l'usage que j'en ai.
Certains de ces serveurs sont des proxies socks (tor par exemple) et d'autres des http.
Idéalement, j'aimerai pouvoir sélectionner le proxy utilisé depuis le menu de gnome (en haut à droite de l'écran, en deux clicks, sans passer par une boite de dialogues…) J'ai installé l'extension "proxy switcher" qui permet de (…)