Windows 10 reached EOS (end of support) on October 14, 2025. If you are on Windows 10, 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.
Archiviato

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

Firefox
Hasan risposto
chhaba
chhaba

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

For Developer issues, Ask your question here: