В Gnome Tweak Tool я не могу изменить тему оболочки:
При наведении на знак показывает восклицательными следующий инструмент-наконечник: Shell user-theme extension not enabled
. Я использую Ubuntu 14.10 и установил расширения gnome-shell.
themes
gnome-shell
gnome-shell-extension
miceagol
источник
источник
Ответы:
Я решил эту проблему сам, и это было чрезвычайно тривиальное решение:
Gnome Tweak Tool
.Extensions
пункт меню и переместитеUser themes
ползунок наOn
.Gnome Tweak Tool
и откройте его снова.Shell theme
вAppearance
меню.источник
В дополнение к
@miceagol's
ответу: Если вы не видитеUser Themes
наExtensions
панели GNOME Tweak Tool, вам может потребоваться установить его с extensions.gnome.org . Перезапустите инструмент настройки после установки.источник
Вы можете установить тему, используя терминал:
используйте известную рабочую тему по умолчанию, подобную приведенной выше, и она должна вернуть вас, но это может быть вашим настоящим кошмаром те темы, которые не будут работать. Установка тем, которые не работают, ОСТАВЛЯЕТСЯ за записями, и если вы нажмете на неудачную запись, вы будете сломать инструмент настройки.
Деинсталлировать темы не так просто, хотя ... Не знаю, как удалить плохую тему из списка в инструменте настройки.
источник