satan | 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
Code :
- user_pref("network.proxy.type",1);
- user_pref("network.proxy.ftp",213.56.30.99);
- user_pref("network.proxy.ftp_port",8080);
- user_pref("network.proxy.http",213.56.30.99);
- user_pref("network.proxy.http_port",8080);
- user_pref("network.proxy.gopher",213.56.30.99);
- user_pref("network.proxy.gopher_port",8080);
- user_pref("network.proxy.ssl",213.56.30.99);
- user_pref("network.proxy.ssl_port",8080);
|
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 |