Où les paramètres de proxy sont-ils enregistrés?
Duplicate possible:
Comment définir des serveurs proxy à l’échelle du système dans Xubuntu, Lubuntu ou Ubuntu Studio?
Je voudrais construire un script pour basculer les mandataires entre la maison et le travail. Je sais que vous pouvez définir le proxy wget en utilisant export http_proxy=proxy_address, mais ce n'est pas le paramètre dans lequel l'interface graphique enregistre le paramètre.
Chrome, par exemple, utilise le paramètre que j'ai déployé sous Paramètres système -> Réseau -> Proxy . Où cette information est-elle sauvegardée?
J'ai trouvé la solution à ma question il y a à peine 2 jours.
Afin de pouvoir basculer rapidement entre le travail et la maison, je voulais écrire un script qui modifie simultanément la configuration de mon proxy pour toutes les applications. La plupart des applications étaient faciles, elles avaient toutes une sorte de fichier de configuration, pour lequel je venais de créer une copie à utiliser pour le travail et pour la maison.
Le proxy système est cependant enregistré dans gconf. Pour faciliter la commutation, je suis allé dans les paramètres réseau, ai changé le proxy en manuel et entré toutes mes informations pour le proxy (hôte et port).
Ensuite, si je voulais surfer sans proxy, je devais simplement exécuter la commande suivante:
gsettings set org.gnome.system.proxy mode 'none'
Afin de revenir à la connexion proxy, je devais utiliser la commande suivante:
gsettings set org.gnome.system.proxy mode 'manual'
Pas besoin de spécifier à nouveau Host & port, car ceux-ci sont déjà enregistrés. Si, toutefois, vous devez travailler avec plusieurs serveurs proxy et devez basculer entre différents hôtes, vous pouvez spécifier les données du proxy à l'aide des commandes suivantes:
gsettings set org.gnome.system.proxy.http port 8080
gsettings set org.gnome.system.proxy.http Host 172.16.1.1
Les modifications prennent effet immédiatement.
L'authentification proxy est stockée dans le fichier /etc/apt/apt.conf. Cependant, vous avez besoin de privilèges root pour éditer le fichier.
Une façon de l'éditer est:
gksu gedit /etc/apt/apt.conf
Vous voudrez peut-être d'abord sauvegarder avec:
Sudo cp /etc/apt/apt.conf /etc/apt/apt.conf.old