Avatar for Username

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

Ce sujet de discussion a été archivé. Veuillez poser une nouvelle question si vous avez besoin d’aide.

How to configure user preferences for each platform

  • 1 réponse
  • 1 a ce problème
  • 2 vues
  • Dernière réponse par 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.

Solution choisie

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
Lire cette réponse dans son contexte 👍 0

Toutes les réponses (1)

philipp
philipp
  • Moderator
more options

Solution choisie

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

Modifié le par philipp