Richard Owlett <[email protected]> wrote: > Rob wrote: > [snip] >> >> It is possible to write a small program that removes everything from >> prefs.js except the mail.account mail.identity and mail.server >> entries, and it will then reset everything to default but keep the >> accounts. >> > > Does such a utility exist? What I do NOT know about prefs.js > and user.js would fill volumes.
It should be possible to write a small batch file using a text search tool. Like: move prefs.js prefs.bak find "mail.account." <prefs.bak >prefs.js find "mail.identity." <prefs.bak >>prefs.js find "mail.server." <prefs.bak >>prefs.js > For my use case I probably want all the mail and newsgroup > info to reside in user.js. I don't think that is a good idea. The prefs will mess up pretty badly when you attempt to change something in the accounts later. > A somewhat related question, is there an existing utility to > compare a modified prefs.js to a "default" prefs.js with the > intention of creating a user.js for that profile? I use standard tools like diff. _______________________________________________ support-seamonkey mailing list [email protected] https://lists.mozilla.org/listinfo/support-seamonkey
