Windows 10 reached EOS (end of support) on October 14, 2025. For more information, see this article.

Avatar for Username

Cerca nel supporto

Attenzione alle mail truffa. Mozilla non chiederà mai di chiamare o mandare messaggi a un numero di telefono o di inviare dati personali. Segnalare qualsiasi attività sospetta utilizzando l'opzione “Segnala abuso”.

Ulteriori informazioni

Questa discussione è archiviata. Inserire una nuova richiesta se occorre aiuto.

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

  • 1 risposta
  • 1 ha questo problema
  • 28 visualizzazioni
  • Ultima risposta di Hasan

chhaba
chhaba
ulteriori opzioni

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.

Modificato da chhaba il

Tutte le risposte (1)

Hasan
Hasan
ulteriori opzioni

For Developer issues, Ask your question here: