Important Notice: We're experiencing email notification issues. If you've posted a question in the community forums recently, please check your profile manually for responses while we're working to fix this.

On Monday the 3rd of March, around 5pm UTC (9am PT) users may experience a brief period of downtime while one of our underlying services is under maintenance.

Avatar for Username

Buscar en Ayuda

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

Este tema ha sido archivado. Haz una nueva pregunta si necesitas ayuda.

How to configure user preferences for each platform

  • 1 respuesta
  • 1 tiene este problema
  • 10 visitas
  • Última respuesta de philipp

Ka_wymm
Ka_wymm
more options

Currently i dual boot Kubuntu and windows 7 and use a single profile that is shared by both the OS's. The problem is that some changes such as auto-scrolling, double click to copy url text are disabled/configured differently in linux to what i like. I can manually enable auto scrolling in linux, but when i switch to windows and then switch back it is disabled again.

Is it possible to make a user.js file that sets preferences based on the operating system, eg: user-windows.js, user-linux.js or something like that? I know I can use different profiles for each OS, but it requires keeping all the addons/bookmarks in sync everytime i switch, which i do atleast a couple of times a day.

Currently i dual boot Kubuntu and windows 7 and use a single profile that is shared by both the OS's. The problem is that some changes such as auto-scrolling, double click to copy url text are disabled/configured differently in linux to what i like. I can manually enable auto scrolling in linux, but when i switch to windows and then switch back it is disabled again. Is it possible to make a user.js file that sets preferences based on the operating system, eg: user-windows.js, user-linux.js or something like that? I know I can use different profiles for each OS, but it requires keeping all the addons/bookmarks in sync everytime i switch, which i do atleast a couple of times a day.

Solución elegida

hello, with the mozilla.cfg file in the firefox program folder you can set preferences independent of the profile: http://kb.mozillazine.org/Locking_preferences

edit: these functions can be used in the mozilla.cfg file: 

defaultPref();  // set default value of a preference
pref();         // set pref, allow changes during session
lockPref();     // lock pref, disallow changes
Leer esta respuesta en su contexto 👍 0

Todas las respuestas (1)

philipp
philipp
  • Moderator
more options

Solución elegida

hello, with the mozilla.cfg file in the firefox program folder you can set preferences independent of the profile: http://kb.mozillazine.org/Locking_preferences

edit: these functions can be used in the mozilla.cfg file: 

defaultPref();  // set default value of a preference
pref();         // set pref, allow changes during session
lockPref();     // lock pref, disallow changes

Modificadas por philipp el