Turns out there is a better way: put your override in
user.js (in the
profile directory, where
prefs.js resides).
If you have a user agent override that works in
prefs.js just exit Firefox and
Code:
grep Slackware prefs.js > user.js
then remove that line from
prefs.js.
Right now, mine looks like
Code:
user_pref("general.useragent.override", "Mozilla/5.0 (X11; Linux x86_64; rv:11.0) Gecko/20100101 Firefox/24.8.0 Slackware Linux");
Restart Firefox and check the result with
http://whatsmyuseragent.com/
Hope this helps some.
[EDIT]
Do the same for Seamonkey.
In either case, you can freely edit
user.js (when the browser is not running) and most updates are just the version number (which you can get from
about). Use a text editor.
You can find the default useragent by removing any edits you've done in
prefs.js, restart the browser and go to
http://whatsmyuseragent.com/ from which you can copy the user agent string into
user.js. Be sure to add the
user_pref("general.useragent.override", and other items as shown in the example above.
[/EDIT]