Я использую Ubuntu 12.04 с Gnome Shell 3.4. Со дня один у меня были некоторые случайные катастрофические отказы главным образом после перезагрузки или во время поиска. После большого исследования я пришел к заключению, что расширение пользовательской темы виновато. Только, когда отключенный Gnome Shell выполняет 100% гладко. Таким образом, мой вопрос: существует ли способ установить тему, не используя расширение пользовательской темы?
править: Попытка установить его через Инструмент Тонкой настройки Gnome без расширения пользовательской темы не будет работать из-за [этого] [1].
Да, вы можете.
Извлеките свою тему в ~/themes
или /usr/share/themes
. Я использую эту команду для ручного изменения темы и значка в Ubuntu.
Откройте терминал Ctrl kbd> + Alt kbd> + T kbd> и выполните следующую команду:
Icon Pack
gsettings set org.gnome.desktop.interface icon-theme 'theme'
Тема
gsettings set org.gnome.desktop.interface gtk-theme 'theme'
gsettings set org.gnome.desktop.wm.preferences 'theme'
gconftool-2 --set --type string /apps/metacity/general/theme 'theme'
Замените « theme » на ваше название темы
Установить
sudo apt-get install gnome-shell-extensions
После установки Нажмите Alt + F2 и введите «r», чтобы перезапустить Gnome Shell, или просто выйдите из системы и войдите снова. Откройте Gnome Tweak Tool для изменения / установки Темы оболочки.