question sur firefox, user.js et prefs.js - Logiciels - Linux et OS Alternatifs
Marsh Posté le 19-07-2006 à 18:28:47
normalement, user.js est recopié dans prefs.js au lancement de firefox
maintenant pour cet usage précis, tu pourrais utiliser l'extension switchproxy :
https://addons.mozilla.org/firefox/125/
Marsh Posté le 20-07-2006 à 10:10:56
aucune autre réponse ? ca m'aurait pourtant plu de réussir ce script ;-)
Marsh Posté le 19-07-2006 à 17:49:11
Salut,
je me suis fait un petit script sur mon portable (debian sarge) qui, en fonction de l'adresse IP que j'obtiens via DHCP (soit taf soit maison donc), me crée un fichier user.js dans mon rep par defaut de firefox.
Probleme : les modifs de ce user.js ne sont pas prises en compte quand je lance firefox
Les preferences sont celles par defaut, sachant que ces lignes ne sont pas présentes dans mon prefs.js.
Une idée ?
Merci de votre aide