Проблема после обновления до GNOME Shell 3.4 (Ubuntu 11.10)
Я установил Ubuntu 12.04 поверх предыдущей настройки раздела / home.
Я установил оболочку GNOME, к сожалению, не могу сменить тему: http://ubuntu.pl/forum/download/file.php?id=2631
Вот правильный способ заставить работать gnome-tweak-tool (расширенные настройки), поэтому темы оболочки и расширения работают БЕЗ разрушения оболочки gnome
sudo add-apt-repository ppa:ricotz/testing
sudo apt-get install ppa-purge
sudo apt-get update
sudo apt-get install gnome-shell-extensions
sudo apt-get install gnome-shell-extensions-common
sudo ppa-purge ppa:ricotz/testing
(type N and press enter at the end of the process)
Перезапустите shell (Alt F2 >> r >> enter)
В Ubuntu 12.04 оболочка gnome получила обновление до 3.4, но ни одно из ваших старых расширений не будет работать. вам понадобится расширение user-theme
, которое можно легко получить с сайта расширений оболочки gnome
После установки расширения вам нужно будет включить его, для этого я использую gnome-tweak-tool
включите его, перейдя к «расширениям оболочки» в левой панели, а затем в разделе «темы> тема оболочки» вы можете изменить свои темы
Я использовал Synaptic, чтобы лучше контролировать процесс.
1) Включить gnome 3 ppa
sudo add-apt-repository ppa:gnome3-team/gnome3
2) Использовать Synaptic для установки обновлений из gnome3-team / gnome3
3) Включить ppa тестирования оболочки Gnome
sudo add-apt-repository ppa:ricotz/testing
4) Используйте Synaptic для установки расширений gnome-tweak-tool и gnome-shell из ricotz / testing
3) Отключите ppa тестирования Gnome Shell либо в Synaptic, либо из терминала
sudo ppa-purge ppa:ricotz/testing
Теперь я могу применять темы к моей оболочке Gnome, которая добавляет очень приятное прикосновение. Однако я обнаружил, что веб-страница расширений https://extensions.gnome.org/local/ , где вы управляете установленными расширениями, больше не работает. Я подозреваю, что при установке пакета gnome-shell из Gnome Shell Testing будет установлена совместимая версия плагина браузера, но это рискованно и, возможно, не важно, если у меня работает gnome-tweak-tool.