This site will have limited functionality while we undergo maintenance to improve your experience. If an article doesn't solve your issue and you want to ask a question, we have our support community waiting to help you at @FirefoxSupport on Twitter and/r/firefox on Reddit.

Avatar for Username

Search Support

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

This thread was archived. Please ask a new question if you need help.

How to configure user preferences for each platform

  • 1 reply
  • 1 has this problem
  • 2 views
  • Last reply by 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.

Chosen solution

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
Read this answer in context 👍 0

All Replies (1)

philipp
philipp
  • Moderator
more options

Chosen Solution

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

Modified by philipp