Как использовать расширения Gnome (ошибка установки без вывода сообщений)

Я пытался спросить об этом в Unix & amp; Обмен стека Linux, но это может быть лучше.

Я пытался установить некоторые расширения Gnome с сайта https://extensions.gnome.org. Я получаю диалог, спрашивающий, хочу ли я установить, но после выбора «да» он молча завершается неудачей. Это поведение с использованием Firefox или Chromium. Я проверил, чтобы убедиться, что плагин Gnome Shell Integration установлен и включен как для Chromium, так и для Firefox.

Моя операционная система в Ubuntu 12.10 и моя версия Gnome - 3.6.3.1. Я убедился (используя sudo apt-get update), что все обновлено. Я попытался перезапустить, но безрезультатно. Что я делаю не так, и как мне это исправить (или что такое хороший обходной путь)?

ПРИМЕЧАНИЕ. У меня установлен инструмент gnome-tweak-tool, и он не показывает никаких расширений как установленных. После подтверждения того, что я хочу загрузить расширение, ничего не происходит.

РЕДАКТИРОВАТЬ: Расширения теперь работают. Я не знаю почему. Может быть, это был перезапуск. Я отмечу приведенный ниже ответ как принятый, потому что он дает хорошую информацию, которая может помочь другим. Я бы посоветовал любому, кто занимал мою должность, просто убедиться, что все обновлено, перезапустить, а затем периодически проверять, работает ли оно.