
Wenn Firefox zum ersten Mal unter Mac OS X ausgeführt wird, erstellt es standardmäßig einen Benutzerprofilordner mit dem Namen…
~/Library/Application Support/Firefox/Profiles/xxxxxxxx.default
wobei xxxxxxx zufällige ASCII-Zeichen sind.
Einige Benutzer meiner App haben vor Kurzem entdeckt, dass an den Namen ihrer Profilordner offenbar ein Unix Epoch-Zeitstempel in Millisekunden angehängt wurde, sodass er beispielsweise zu … wird.
~/Library/Application Support/Firefox/Profiles/xxxxxxxx.default-1352077074018
Mir ist klar, dass ein Poweruser Firefox-Profilnamen bearbeiten kann, aber diese Benutzer sagen, sie hätten das nicht getan. Weiß jemand, welche Software das mit einem Firefox-Profil machen würde und warum? Ich nehme an, es wurde entweder von Firefox selbst oder vielleicht von einer Firefox-Erweiterung gemacht.
(Ich unterstütze eine App, die mit Firefox interagiert. Daher ist es für meine App schwierig, den Überblick über dieses Profil zu behalten.)