Définir le fichier PAC (Proxy Auto-Config) via bash?
Toutes les informations que j'ai trouvées ont des offres en ligne avec le gestionnaire de réseau gui. Comment définir cette valeur via un terminal?
Un fichier PAC doit être interprété avec javascript. La majorité (sinon la totalité) des programmes utilisant la variable d’environnement http_proxy ne sera pas en mesure d’interpréter ce fichier pour en rendre l’utilisateur.
La seule approche qui semble appropriée est si vous trouvez ou créez un programme qui interprétera le javascript trouvé dans un fichier PAC et utilisera les valeurs renvoyées pour définir http_proxy. Cependant, l'idée est davantage que cela soit fait dynamiquement pour chaque URL, donc cette approche ne fonctionnera pas bien.
Si vous souhaitez simplement définir la valeur utilisée dans gnome à partir de la ligne de commande, procédez comme suit:
gsettings set org.gnome.system.proxy mode auto
gsettings set org.gnome.system.proxy autoconfig-url 'http://my.prox.org/foo.pac'
Pour désarmer:
gsettings set org.gnome.system.proxy autoconfig-url ''
gsettings set org.gnome.system.proxy mode none
Vous pouvez trouver plus d'informations ici: https://wiki.gnome.org/Projects/NetworkManager/Proxies