В Инструменте Тонкой настройки Gnome я не могу изменить тему Shell:
Парение над восклицательным знаком показывает следующую подсказку: Shell user-theme extension not enabled
. Я использую Ubuntu 14.10 и установил расширения оболочки гнома.
Я решил эту проблему сам, и это было чрезвычайно тривиальное решение:
Gnome Tweak Tool
. Extensions
пункт меню и перемещаются User themes
ползунок к On
. Gnome Tweak Tool
и открытый это снова. Shell theme
в Appearance
меню. В дополнение к @miceagol's
ответ: Если Вы не видите User Themes
в Extensions
панель Инструмента Тонкой настройки GNOME, Вы, возможно, должны установить его от extensions.gnome.org . Перезапустите инструмент тонкой настройки после установки.
Можно установить тему с помощью Терминала:
sudo chmod -R 755 /usr/share/themes/Zukitwo
gsettings set org.gnome.desktop.interface gtk-theme "Zukitwo"
gsettings set org.gnome.desktop.wm.preferences theme "Zukitwo"
gsettings set org.gnome.shell.extensions.user-theme name "Zukitwo"
используют известную рабочую тему по умолчанию как вышеупомянутый, и она должна вернуть Вас, но это ниже может быть Вашим реальным кошмаром, темы, которые не будут работать. Установка тем, которые не работают, Оставляет позади записи и если Вы нажмете на неудавшуюся запись, то Вы повредите инструмент тонкой настройки.
Удаление темы, не настолько легкие, хотя.. Никакая идея, как удалить плохую тему из списка в инструменте тонкой настройки.