profiel .default en .default-release

Mozilla Firefox is de webbrowser van Mozilla. Volg in geval van problemen eerst onze standaard diagnose.
Gebruikersavatar
HankPiano
Berichten: 134
Lid geworden op: 31 december 2004, 6:12
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101 Firefox/68.0

profiel .default en .default-release

Bericht door HankPiano » 1 augustus 2019, 8:24

Tijdje geleden heb ik een schone installatie gedaan van Windows 10 versie 1903. Daarvóór had ik de profielmap van FF 68.0.1 gekopiëerd. Toen ik de inhoud daarvan na installatie van W10 wilde terugzetten in de nieuwe profielmap van de zojuist weer geïnstalleerde FF zag ik daar twee mappen staan, wat even voor verwarring zorgde: een map met de extensie .default en een map met de extensie .default-release. Het bleek dat ik die laatste map moest hebben, maar mijn vraag is: waarom die twee mappen? Voorzover ik me herinner stond daar altijd maar één map.

corvl
Berichten: 919
Lid geworden op: 7 mei 2009, 1:21
Mozilla/5.0 (X11; Linux i686; rv:52.0) Gecko/20100101 Firefox/52.0

Re: profiel .default en .default-release

Bericht door corvl » 8 augustus 2019, 19:45


Gebruikersavatar
HankPiano
Berichten: 134
Lid geworden op: 31 december 2004, 6:12
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101 Firefox/68.0

Re: profiel .default en .default-release

Bericht door HankPiano » 8 augustus 2019, 20:47

Toch lijkt FF niet altijd voorspelbaar: https://support.mozilla.org/gl/questions/1264072

Ik begrijp de achterliggende gedachte wel in het artikel waarvan jij de linkt geeft (hoewel de mappen '.default en .default-release niet specifiek genoemd worden) maar ik blijf het vreemd vinden dat in een schone Windows-installatie (W10 versie 1903) met één schone installatie van FF 68.0.1 twee mappen staan. In de map .default-release heb ik de inhoud van mijn vorige profiel gekopiëerd en FF pikt dat probleemloos op. De map .default (c55dppyj.default om precies te zijn) heb ik verder genegeerd, er staat ook bijna niks in, een map 'extenties' met een paar files van Avast dat ik helemaal niet meer gebruik en nog een file 'times.json', mij ook totaal onbekend. Vraag blijft, voor mij althans, waarom die map 'c55dppyj.default' er überhaupt in staat. Kan je 'm niet gewoon verwijderen?

Gebruikersavatar
nirwana
Beheerder
Berichten: 11290
Lid geworden op: 19 september 2003, 5:09
Mozilla/5.0 (Android 8.1.0; Mobile; rv:68.0) Gecko/68.0 Firefox/68.0

Re: profiel .default en .default-release

Bericht door nirwana » 9 augustus 2019, 12:45

Firefox kan meerdere profielen gebruiken. Je kunt Firefox zo instellen dat je bij opstarten een bepaald profiel kunt selecteren.

Als je dat niet doet dan gebruikt Firefox het profiel dat als standaard is ingesteld. Dat is het standaard-gedrag van Firefox.

Profielmappen die je niet gebruikt kun je verwijderen, of je laat ze staan als je er geen last van hebt.

Hoe je aan die default-release map komt zou ik zo niet weten, maar uiteindelijk is ook dat gewoon een profielmap die je kunt gebruiken.
Met vriendelijke groet,

Martijn
[ Mede-oprichter + webmaster MozBrowser | beheerder Startpagina's over GIMP, Mozilla, OpenOffice.org / LibreOffice, opensource en Windows 10 ]

Gebruikersavatar
nirwana
Beheerder
Berichten: 11290
Lid geworden op: 19 september 2003, 5:09
Mozilla/5.0 (Android 8.1.0; Mobile; rv:68.0) Gecko/68.0 Firefox/68.0

Re: profiel .default en .default-release

Bericht door nirwana » 9 augustus 2019, 12:49

Deze link bevat meer info over waar een default-release vandaan komt: https://support.mozilla.org/nl/questions/1262122

Zie daar de Gekozen oplossing.

Zie ook https://blog.nightly.mozilla.org/2019/0 ... hitecture/
Met vriendelijke groet,

Martijn
[ Mede-oprichter + webmaster MozBrowser | beheerder Startpagina's over GIMP, Mozilla, OpenOffice.org / LibreOffice, opensource en Windows 10 ]

Gebruikersavatar
HankPiano
Berichten: 134
Lid geworden op: 31 december 2004, 6:12
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101 Firefox/68.0

Re: profiel .default en .default-release

Bericht door HankPiano » 9 augustus 2019, 18:11

In de praktijk komt het er dus op neer dat ik, met één FF in één W10-systeem, voortaan de 'default-release' map gebruik. Blijft de vraag of ik die andere .default map, met daarin een paar mappen en een file die ik niet herken, kan deleten.

corvl
Berichten: 919
Lid geworden op: 7 mei 2009, 1:21
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101 Firefox/68.0

Re: profiel .default en .default-release

Bericht door corvl » 10 augustus 2019, 1:33

Het times.json bestand bevat de datum en tijd in Unix Epoch formaat dat een profile aangemaakt werd.
https://www.epochconverter.com/