Configuration de Firefox pour utiliser un proxy à partir de la ligne de commande

17

Je cherche un moyen de dire à Firefox d'utiliser un proxy dans Ubuntu Ludid (10.04.1 LTS).

J'installe Ubuntu semi-automatiquement sur plusieurs machines identiques. Pour cela, j'utilise un script qui, entre autres, définit les paramètres de proxy à l'échelle du système:

echo "export http_proxy=http://myproxy:3128/" > /etc/profile.d/proxy.sh
echo "export HTTP_PROXY=http://myproxy:3128/" >> /etc/profile.d/proxy.sh
chmod a+x /etc/profile.d/proxy.sh

Je peux confirmer que les variables sont correctement définies lors de l'archivage d'un shell. La plupart des programmes respectent ce paramètre et utilisent mon proxy. Firefox, cependant, ne le fait pas. Cependant, lorsque j'ouvre sa boîte de dialogue des paramètres de connexion réseau, il est prédéfini pour "utiliser les paramètres système" pour le proxy.

Qu'attend Firefox ici? Une variable nommée différemment? Puis-je définir quelque chose dans prefs.js de FF?

networking firefox proxy environment-variables jstarek
la source

Réponses:

19

Firefox ne peut tout simplement pas faire la chose standard et utiliser des variables d'environnement (bien que pour être honnête, cela soit partiellement justifié car la chose standard ne permet pas les fichiers de configuration automatique du proxy). Les préférences pour les proxys statiques sont

user_pref("network.proxy.http", "wwwproxy.example.com");
user_pref("network.proxy.http_port", 3128);
user_pref("network.proxy.type", 1);

Il existe une extension Firefox à utiliser $http_proxyet des variables d'environnement similaires: Environment Proxy .

Les versions récentes de Firefox utilisent censément les variables d'environnement habituelles par défaut, ou si la préférence de type de proxy est explicitement définie sur 5 («Utiliser les paramètres du proxy système»), mais cela ne fonctionne pas pour moi avec la version d'Ubuntu 10.04.

user_pref("network.proxy.type", 5);
Gilles 'SO- arrête d'être méchant'
la source
2
Merci pour vos réponses. Après que Gilles a laissé entendre que FF n'utilisait tout simplement pas les variables d'environnement, je suis allé sur le bugtracker de Firefox et j'ai trouvé cette entrée: bugzilla.mozilla.org/show_bug.cgi?id=224886 Le problème est donc connu en amont. Depuis 2003.
jstarek
cette option peut-elle être placée dans / etc / skel afin que tous les futurs utilisateurs l'obtiennent?
Ubuntuser
@Ubuntuser Je ne pense pas. Les options de Firefox vivent dans un sous-répertoire dont le nom dépend du profil que vous utilisez.
Gilles 'SO- arrête d'être méchant'
8

Vous dites «proxy», mais vos exemples indiquent que vous voulez probablement dire spécifiquement «proxy HTTP». Cependant, si vous avez également accès à un proxy SOCKS, qui n'interdit pas le trafic HTTP, vous pouvez utiliser letsocks outil:

tsocks firefox

une fois que vous avez configuré /etc/tsocks.confcorrectement.

jmtd
la source
Merci pour l'astuce. Oui, j'aurais dû mieux le préciser: il y a un proxy de mise en cache pour http (squid) que je dois utiliser.
jstarek
6

Selon une liste d'options de ligne de commande, il n'y a pas d'option explizit pour un proxy. Comme vous l'avez également découvert, http_proxyni quelque chose de semblable ne fonctionne. Je suggère de créer d'abord un profil:

firefox -CreateProfile foo

Ensuite , vous pouvez utiliser sedou quel outil vous aimez écrire user_pref("network.proxy.http", "YOUR_PROXY"); user_pref("network.proxy.http_port", PORT);à prefs.js. Maintenant, Firefox devrait bien fonctionner avec ces proxys.

qbi
la source