Gnome 调整工具不会从 gnome-shell 中的用户主题开始

Question

启用用户主题扩展后，无法启动 Gnome Tweak Tool 。

当我从终端尝试时，输出是：

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 Tweak Tool 在没有用户主题的情况下也能正常工作。

Ubuntu 12.04，gnome-shell 3.4.1

相关（封闭）问题：https : //askubuntu.com/questions/91512/gnome-tweak-tool-doesnt-start

Answer 1

类似的问题在这里

如何：

添加官方 Gnome Shell 扩展 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

之后，在提供的链接上启用工作正常。