В новой установке Ubuntu (12.04, 64-bit) после установки gnome-shell я пытался установить некоторые расширения из extensions.gnome.org, но не получил результата. Я пробовал с Firefox и Chromium и получил ту же проблему.
Откройте любую страницу расширения на extensions.gnome.org.
Переключите расширение на «ON». Согласитесь с подтверждением об установке.
Ничего не происходит и ничего не установлено (
.local/share/gnome-shell/extensions
пусто).
Я проверил .xsession-errors, консоль JavaScript в Firefox, ошибки консоли gnome-shell (Alt-F2 + зеркало). Там нет никаких следов какой-либо ошибки.