Ce site disposera de fonctionnalités limitées pendant que nous effectuons des opérations de maintenance en vue de vous proposer un meilleur service. Si un article ne règle pas votre problème et que vous souhaitez poser une question, notre communauté d’assistance est prête à vous répondre via @FirefoxSupport sur Twitter, et /r/firefox sur Reddit.

Rechercher dans l’assistance

Évitez les escroqueries à l’assistance. Nous ne vous demanderons jamais d’appeler ou d’envoyer un SMS à un numéro de téléphone ou de partager des informations personnelles. Veuillez signaler toute activité suspecte en utilisant l’option « Signaler un abus ».

En savoir plus

how can I automate the addition of user_pref() calls in user.js ?

  • 1 réponse
  • 1 a ce problème
  • 6 vues
  • Dernière réponse par Hasan

more options

in order to make my plugin work I need to add user_pref() calls in user.js file. I tested it by making those changes manually and found working fine. But I need to ship this to customer and don't want him to manually change the browser setting by using about:config or by using chromeedit extension.

Is there ANY way I can automate this? I can use JSP, JS, Java or shell scripting to make this addition.

in order to make my plugin work I need to add user_pref() calls in user.js file. I tested it by making those changes manually and found working fine. But I need to ship this to customer and don't want him to manually change the browser setting by using about:config or by using chromeedit extension. Is there ANY way I can automate this? I can use JSP, JS, Java or shell scripting to make this addition.

Modifié le par chhaba

Toutes les réponses (1)

more options

For Developer issues, Ask your question here: