Page 2 of 2
Some useful settings for Firefox
Posted: 19 Sep 2021, 07:53
by Kulle
I rarely use Firefox.
The .mozilla folder is located in /home/guest/
I used the Profilemaker
https://ffprofile.com/
and I created my profile with the default settings that I want.
Result: profile.zip with folder "extensions" and file "prefs.js"
What do I have to do now?
I have no experience with configuring Firefox.
Thanks.
Some useful settings for Firefox
Posted: 19 Sep 2021, 09:01
by M. Eerie
Type about:profiles in the url bar and click Open folder in your profile.
Next, close firefox, and move the folder "extensions" and file "prefs.js" there.
Start firefox.
Some useful settings for Firefox
Posted: 19 Sep 2021, 10:45
by Kulle
Hi Eerie,
thanks very much.
but 4 (!) folders are displayed:
Profil: default-release
root folder /home/guest/.mozilla/firefox/ms2c7vv4.default-release
local folder /home/guest/.cache/mozilla/firefox/ms2c7vv4.default-release
Profil: default
root folder /home/guest/.mozilla/firefox/ajlsvoas.default
local folder /home/guest/.cache/mozilla/firefox/ajlsvoas.default
What for, why, what differences?
Which folder should I open?
Thanks.
Some useful settings for Firefox
Posted: 19 Sep 2021, 10:51
by M. Eerie
Kulle wrote: ↑19 Sep 2021, 10:45
Which folder should I open?
In the "about:profiles" page, there must be one marked as "in use". Should be this one.
Some useful settings for Firefox
Posted: 21 Sep 2021, 09:00
by Kulle
Some useful settings for Firefox
Posted: 21 Sep 2021, 11:20
by Rapha_
Older version of Firefox used .default in place of .default-release, so if you have both it's probably because you have first installed Firefox before v67. The old .default profile was converted and copied to .default-release when you updated to Firefox 67.
Interesting !
For information, the choice of the starting for the profiles is saved in
profiles.ini (/home/guest/.mozilla/firefox). You can edit it...
Some useful settings for Firefox
Posted: 21 Sep 2021, 12:55
by M. Eerie
However, (firefox 92) I'm using my own "default" profile, since the "default-release" one is used for branding in my distro of choice.
The reason is I'm feeling safer creating my own profile without getting forced to use the likes of someone else's. (including default page, extensions/addons, certificates maybe, stored cookies...)
Again, from the "about:profiles" page, you'll be able to create, rename, delete, set the default one...
about:profiles
@Kulle
Whenever you've chosen your profile, open the *root* folder as pointed in the image above. (I.e. not the 'cache' local directory) and move the content of the .zip downloaded file there.