How to SAVE new instructions added to the Firefox user preferences file?

Bas Roufs basroufs at
Tue Dec 30 13:11:31 UTC 2008

> The instructions say to paste the lines into user.js, not prefs.js.

The instructions you refer to do indeed only refer to 'user.js'.
However, 'prefs.js' is simply another name for 'user.js', according to
the last alinea of this page:
Respectfully yours,

Bas G. Roufs M.A.
Van 't Hoffstraat 1
NL-3514 VT  Utrecht
M. +31.6.446.835.10
T. +31.30.785.20.40
BasRoufs at

More information about the kubuntu-users mailing list