Не может запустить Инструмент Тонкой настройки Gnome, когда Пользовательские расширения Тем включены.
Когда я попробовал от терминала, вывод был:
petr@sova:~$ gnome-tweak-tool
(gnome-tweak-tool:6475): GLib-GIO-ERROR **: Settings schema 'org.gnome.shell.extensions.user-theme' is not installed
Trace/breakpoint trap (core dumped)
Инструмент Тонкой настройки Gnome работает правильно без Пользовательских Тем.
Ubuntu 12.04, оболочка гнома 3.4.1
Соответствующий (закрытый) вопрос: https://askubuntu.com/questions/91512/gnome-tweak-tool-doesnt-start
Подобный вопрос здесь
Howto:
Добавить официальные расширения оболочки Gnome ppa:
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
Установить зависимости:
sudo apt-get install gnome-shell-extensions
sudo apt-get install gnome-shell-extensions-common
Впоследствии, включение по ссылке при условии работает нормально.
установить пользовательскую тему расширения оболочки gnome, даже если она выдает ошибку, затем выполнить следующие две команды
sudo cp $HOME/.local/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gcampax.github.com/schemas/org.gnome.shell.extensions.user-theme.gschema.xml /usr/share/glib-2.0/schemas
sudo glib-compile-schemas /usr/share/glib-2.0/schemas
после этой перезагрузки оболочки att + f2, затем запустить r
здесь ссылка где я получил решение http://www.fandigital.com/2012/09/fix-user-themes-gnome-shell-extension.html