Чому тема Shell відключена в інструменті налаштування Gnome?

У Gnome Tweak Tool я не можу змінити тему Shell:

Наведення над знаком оклику показує наступний інструмент-наконечник: Shell user-theme extension not enabled. Я використовую Ubuntu 14.10 і встановив розширення gnome-shell.

Я вирішив цю проблему сам, і це було надзвичайно тривіальним рішенням:

1. Відкрити Gnome Tweak Tool.
2. Клацніть на Extensionsпункт меню та перемістіть User themesповзунок на On.
3. Закрийте Gnome Tweak Toolі знову відкрийте.
4. Тепер ви повинні мати можливість вибрати 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"

використовуйте відому робочу тему за замовчуванням, як вище, і вона повинна повернути вас, але це нижче може бути вашим справжнім кошмаром - це вони, які не працюватимуть. Встановлення тем, які не працюють ЗАЛИШИТИ за записами, і якщо ви натиснете на невдалий запис, ви розірвати інструмент налаштування.

Видалити теми не так просто. Немає ідеї, як видалити погану тему зі списку в інструменті для налаштування.