Когда Firefox впервые запускается в Mac OS X, по умолчанию он создает папку профиля пользователя с именем…
~/Library/Application Support/Firefox/Profiles/xxxxxxxx.default
где xxxxxxx - случайные символы ASCII.
Некоторые пользователи моего приложения недавно обнаружили, что к папкам их профилей добавлено то, что, по-видимому, является меткой времени эпохи Unix в миллисекундах, добавленной к имени папки их профиля, поэтому оно становится, например…
~/Library/Application Support/Firefox/Profiles/xxxxxxxx.default-1352077074018
Я понимаю, что опытный пользователь может редактировать имена профилей Firefox, но эти пользователи говорят, что они этого не делали. Кто-нибудь знает, какое программное обеспечение будет делать это с профилем Firefox и почему? Я предполагаю, что это было сделано либо самим Firefox, либо, возможно, расширением Firefox.
(Я поддерживаю приложение, которое взаимодействует с Firefox, поэтому моему приложению сложно отслеживать этот профиль.)