question sur firefox, user.js et prefs.js

question sur firefox, user.js et prefs.js - Logiciels - Linux et OS Alternatifs

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
 

Code :
  1. user_pref("network.proxy.type",1);
  2. user_pref("network.proxy.ftp",213.56.30.99);
  3. user_pref("network.proxy.ftp_port",8080);
  4. user_pref("network.proxy.http",213.56.30.99);
  5. user_pref("network.proxy.http_port",8080);
  6. user_pref("network.proxy.gopher",213.56.30.99);
  7. user_pref("network.proxy.gopher_port",8080);
  8. user_pref("network.proxy.ssl",213.56.30.99);
  9. 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

Reply

Marsh Posté le 19-07-2006 à 17:49:11   

Reply

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/


---------------
Celui qui pose une question est idiot 5 minutes. Celui qui n'en pose pas le reste toute sa vie. |  Membre du grand complot pharmaceutico-médico-scientifico-judéo-maçonnique.
Reply

Marsh Posté le 19-07-2006 à 18:33:04    

merci pour cet addon ;-)

Reply

Marsh Posté le 20-07-2006 à 10:10:56    

aucune autre réponse ? ca m'aurait pourtant plu de réussir ce script ;-)

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed