MozillaZine

user.js, and other files...

Talk about add-ons and extension development.
ksheka

User avatar
 
Posts: 102
Joined: November 6th, 2002, 5:46 pm
Location: New York, NY, USA

Post Posted January 4th, 2003, 1:43 pm

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

User avatar
 
Posts: 29
Joined: November 9th, 2002, 8:10 pm
Location: Ottawa, Ontario

Post Posted January 6th, 2003, 8:40 am

ksheka wrote: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

User avatar
 
Posts: 729
Joined: November 5th, 2002, 4:55 am

Post Posted January 6th, 2003, 4:23 pm

ksheka wrote: I've got others I work with interested in Mozilla.


Keep it up ;-)
http://mozilla.gunnars.net - The Mozilla Help Site

xah

User avatar
 
Posts: 306
Joined: November 8th, 2002, 6:17 pm

Post Posted January 9th, 2003, 10:34 am

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.

Return to Extension Development


Who is online

Users browsing this forum: No registered users and 2 guests