Closed
Bug 196840
Opened 22 years ago
Closed 8 years ago
'# Mozilla User Preferences' not ignored in user.js unlike prefs.js
Categories
(Core :: Preferences: Backend, defect)
Tracking
()
RESOLVED
WONTFIX
People
(Reporter: henksanderson, Assigned: ccarlen)
Details
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20021226 Debian/1.2.1-9 Build Identifier: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20021226 Debian/1.2.1-9 when I create an user.js file (even by copying it from prefs.js) mozilla cannot read its contents, but continues with this error message: An error occurred reading the startup configuration file. Please contact your administrator. SyntaxError: illegal character. # Mozilla User Preferences Reproducible: Always Steps to Reproduce: 1. Copy prefs.js to user.js 2. Start mozilla from console by typing mozilla -profilemanager 3. Inspect the error output in the console Actual Results: An error occurred reading the startup configuration file. Please contact your administrator. SyntaxError: illegal character. # Mozilla User Preferences Expected Results: interpret the contents of user.js correctly
And is a completely blank user.js file parsed? Are the attributes for the user.js file properly set?
In the user.js only lines beginning with // or user_pref are allowed. Remove the first line # Mozilla User Preferences which comes from the prefs.js. Now it should work. Why? Don't ask me. But I guess it is because all lines (except the comments) are copied to the prefs.js. So it's a kind of bug 193638 or invalid.
Reporter | ||
Comment 3•22 years ago
|
||
Removing line starting with # solves the problem. Leaves the question why these lines are not skipped as well
![]() |
||
Comment 4•22 years ago
|
||
Because the file is JS and '#' is not a comment char in JS.
Assignee: asa → ccarlen
Status: UNCONFIRMED → NEW
Component: Browser-General → Preferences: Backend
Ever confirmed: true
QA Contact: asa → sairuh
Summary: impossible to read user.js file → '# Mozilla User Preferences' not ignored in user.js unlike prefs.js
Updated•15 years ago
|
QA Contact: bugzilla → preferences-backend
Comment 5•8 years ago
|
||
I don't think we're going to put effort into this.
Status: NEW → RESOLVED
Closed: 8 years ago
Resolution: --- → WONTFIX
You need to log in
before you can comment on or make changes to this bug.
Description
•