Jay Garcia wrote:
On 06.08.2012 20:31, Paul B. Gallagher wrote:
--- Original Message ---
Jay Garcia wrote:
user.js is in the profile root directory, same as prefs.js.
Only if you have one. As you know, not all users do.
For example, I have no such file anywhere on my computer, never have.
user.js is not installed with the distro, it is installed by the user
afterwards .. if necessary. I use it to make changes where I need to
have a history as well as a date that a custom pref was added.
Yep. So the first thing to tell people, if you recommend modifications
to user.js, is to create one -- as you did in your post of 8/6/2012 at
6:12 PM US EDT.
But NFN Smith wrote, "It's the same directory as your user profile," as
if it existed by default, and I found that confusing (Philip Taylor
seemed to as well). And your reply above, to which I replied, implied
the same confusing assumption.
Since the user documentation does not mention the file, a link
describing the format and syntax would be helpful in these cases.
Harmut's link upthread to <http://kb.mozillazine.org/User.js_file> is a
good start; if you have something better to recommend I'm sure users
would welcome it.
--
War doesn't determine who's right, just who's left.
--
Paul B. Gallagher
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
