При первом запуске 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, это затрудняет отслеживание этого профиля моему приложению.)