4 ms·
I'm going to pipe up here 'cause this has bothered me a lot too. $ grep user_pref prefs.js | wc -l 230 In this profile I have 230 modified preferences. I'm pr
by capitainenemo 5y ago
I'm going to pipe up here 'cause this has bothered me a lot too.
$ grep user_pref prefs.js | wc -l
230
In this profile I have 230 modified preferences. I'm pretty sure scanning the list in "show only modified" that it is all of those. The vast majority were autoset by Firefox or Firefox extensions.
What I would love to find is prefs that I explicitly set manually in about:config. Those are the ones I realllly wanna find later if I messed something up. It would also be nice to have those explicitly set by a user action in Settings too.. Elsewhere contravariant mentioned "user.js" I'll look into that and it'll be super helpful on the desktop. Less so on Android where, thankfully, about:config is still accessible in the F-Droid Fennec firefox build (unfortunately they can't do anything about all my useful addons that were removed or removal of prior functionality but I'll take what I can get).