On 11/16/2001 7:50 PM, Ben Ruppel (slate) wrote:
> If you have JRE installed at all in your system, you can make a file
> called user.js in the same directory as your prefs.js, and add this line
> to it:
> user_pref("plugin.do_JRE_Plugin_Scan",true);
>
> Mozilla will scan for a plugin, so you don't have to re-copy the plugin
> files every time you do a new install.
>
This is really cool. What would be even better is if I could specify a
directory of my choice where plugins reside. So that I can have all the
plugins there and keep upgrading my nightlies separately. Even better
how about a plugin directory in your profile directory? That should be
the right way to do it. The upshot of that is that on a multiuser
environment, people can add whatever plugins tehy want to their profile
without having to write in the mozilla directory (which might be
write-protected for them), or interfering in other users plugins. Maybe
I should file an RFE. Does anyone know if one exists already?
Pratik.
