Мне не удается получить инструмент настройки gnome, позволяющий мне переключать темы, а также устанавливать необходимые расширения и заставлять их работать. Может ли кто-нибудь дать мне какие-нибудь указатели?
РЕДАКТИРОВАТЬ : Исправил, но я забыл, как я это сделал. К сожалению.
Мне снова пришлось столкнуться с этой проблемой, и я нашел решение:
Оригинальное сообщение в блоге здесь
Установите расширение пользовательской темы из ppa:
sudo add-apt-repository ppa:ferramroberto/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
Перезапустите систему, выйдя из системы и вернувшись в нее или воспользовавшись ALT-F2
и r
.
Откройте инструмент настройки gnome, перейдите в «Расширения оболочки», включите расширение тем пользователя.
Закройте инструмент настройки, снова запустите gnome-shell.
Теперь снова откройте инструмент настройки gnome и в разделе theme вы сможете выбрать тему оболочки.