Я использую Firefox 5, и я уже знаю, что расширения находятся в подпапке extensions
Папка профиля... Однако мне нужно найти, где находится конкретное расширение (например, CoLT); проблема в том, что большинство папок расширения называются guid, например.
extensions$ ls
{232ac1d3-4d70-4919-8338-48c3d3f98afc}
{29c4afe1-db19-4298-8785-fcc94d1d6c1d}
{2bfc8624-5b8a-4060-b86a-e78ccbc38509}
{33f141c0-3703-4a4c-b459-cec618a7dafd}
...
Затем снова: "Начиная с Gecko 2.0 (Firefox 4/Thunderbird 3.3/SeaMonkey 2.1), файлы XPI больше не распаковываются при установке расширений. Вместо этого сам XPI помещается в каталог расширений, и файлы загружаются напрямую из пакета". (Расширение упаковки - MDN Docs)...
И поскольку XPI - это в основном ZIP-архив, grepping через папку extensions
, ищущую, скажем, имя расширения:
extensions$ grep -ri 'colt' .
... ничего не вернет.
Итак, знает ли кто-нибудь о методе (или расширении), чтобы сказать мне, какой XPI (или распакованная папка) является определенным расширением, расположенным в/загруженном из?