Не устанавливаются расширения с сайта extensions.gnome.org

0

1

Сабж. Раньше всё работало, теперь же абсолютно ничего не происходит. Кнопочка переключается на синий «On», но в Advanced Settings расширение не появляется, а при обновлении страницы кнопка снова переключается в серый «Off». В чём дело, господа?

Ссылка

←	встроенный динамик: за и против

Чем конвертировать музыку?

→

Какой дистрибутив ? Это свеже поставленная система ? Пакет с gnome-shell-extensions установлен ?

kostik87 ★★★★★
(24.06.13 13:38:34 MSK)
Последнее исправление: kostik87 24.06.13 13:38:45 MSK (всего исправлений: 1)

Ответ на: комментарий от kostik87 24.06.13 13:38:34 MSK

Какой дистрибутив ? Это свеже поставленная система ? Пакет с gnome-shell-extensions установлен ?

Debian Wheezy, система была поставлена с нуля в начале мая. gnome-shell-extensions установлен, и расширения из него работают. Но новые не устанавливаются.

eugeno ★★★★★
(24.06.13 13:40:23 MSK) автор топика

Ответ на: комментарий от eugeno 24.06.13 13:40:23 MSK

В Debian gnome-shell старый, всего-то 3.4.2 http://packages.debian.org/ru/wheezy/gnome-shell, в то время как уже 3.6.2. есть, да и вообще уже gnome.org пилят версию 3.8.0. Так что проблема, скорее всего в этом.

kostik87 ★★★★★
(24.06.13 13:46:09 MSK)

Ответ на: комментарий от kostik87 24.06.13 13:46:09 MSK

В Debian gnome-shell старый, всего-то 3.4.2 http://packages.debian.org/ru/wheezy/gnome-shell, в то время как уже 3.6.2. есть, да и вообще уже gnome.org пилят версию 3.8.0. Так что проблема, скорее всего в этом.

Это весьма странно, ведь совсем недавно ещё работало. Да и при поиске расширений на сайте указано «Compatible with current version».

eugeno ★★★★★
(24.06.13 13:50:00 MSK) автор топика