ユーザーテーマ 拡張機能が有効になっていると、Gnome Tweakツールを起動できません。
ターミナルから試したとき、出力は次のとおりでした。
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
エラーが発生した場合でもgnomeシェル拡張ユーザーテーマをインストールしてから、次の2つのコマンドを実行します
Sudo cp $HOME/.local/share/gnome-Shell/extensions/[email protected]/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