Я хочу использовать пользовательские темы для оболочки gnome, но у меня проблемы. Я установил расширение пользовательской темы, но оно не отображается под инструментом gnome tweak. Чтобы подтвердить, что у меня установлено расширение пользовательских тем, вот что я получаю, когда пытаюсь установить его через терминал снова:
sudo apt-get install gnome-shell-extensions-user-theme
Reading package lists... Done
Building dependency tree
Reading state information... Done
gnome-shell-extensions-user-theme is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
Я захожу в Расширения оболочки и нет возможности включить Пользовательские темы. .
Комментарий преобразуется в ответ
После установки расширения пользовательской темы, вы должны перезапустить gnome-shell. Только тогда расширение появится в инструменте настройки GNOME.
Для этого нажмите Alt kbd> + F2 kbd> и введите r kbd> в диалоговом окне. Теперь gnome-shell перезапустится и расширение появится в инструменте настройки.