Вкладка тема Shell theme пишет, что не удалось получить список расширений.

[Igorokmen]

Debian7 Wheezy.
Скачан с оф сайта.
Как быть? где рыть?

[Udachnik]

aptitude install gnome-shell-extentions
А вообще по-русски можно, что это за вкладка и где она находится? А то "Вкладка тема Shell theme" звучит слишком таинственно.

[Igorokmen]

Извиняюсь за долгий ответ.
Вот же оно:

[Udachnik]

Понятно. Нужно установить пакет gnome-shell-extentions, на вкладке расширения shell включить расширение user themes и перезапустить gnome-shell. После этого можно все должно заработать.