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

0