user.js, and other files...

[ksheka]

Hi.
I've been using Mozilla for quite a while and have a lot of stuff in my user.js file. I've got others I work with interested in Mozilla. What files can I edit so that they all inherit the same preferences?
Is there a global user.js? If so, where should it be located?

[davidp]

Hi.
I've been using Mozilla for quite a while and have a lot of stuff in my user.js file. I've got others I work with interested in Mozilla. What files can I edit so that they all inherit the same preferences?
Is there a global user.js? If so, where should it be located?

<your mozilla dir>/defaults/pref/*.js

All of those files are executed on startup, so you could add a my-favourite-prefs.js to that directory and it should do the trick.

HTH,
David

[Gunnar]

I've got others I work with interested in Mozilla.

Keep it up

[xah]

If they are all using the same computer, you could put the prefs in all.js.

The only trouble is, you have to update all.js each time you install a fresh Mozilla.