Gnome Tweak Toolでは、シェルテーマを変更できません。
感嘆符の上にマウスを移動すると、次のツールチップが表示されます:Shell user-theme extension not enabled
。 Ubuntu 14.10を使用しており、gnome-Shell-extensionsをインストールしています。
私はこの問題を自分で解決しましたが、非常に簡単な解決策でした。
Gnome Tweak Tool
を開きます。Extensions
メニュー項目をクリックし、User themes
スライダーをOn
に移動します。Gnome Tweak Tool
を閉じて、もう一度開きます。Appearance
メニューでShell theme
を選択できるようになりました。@miceagol's
回答に加えて、GNOME TweakツールのExtensions
パネルにUser Themes
が表示されない場合は、 extensionsからインストールする必要があります。 .gnome.org 。インストール後にTweakツールを再起動します。
ターミナルを使用してテーマを設定できます:
Sudo chmod -R 755 /usr/share/themes/Zukitwo
gsettings set org.gnome.desktop.interface gtk-theme "Zukitwo"
gsettings set org.gnome.desktop.wm.preferences theme "Zukitwo"
gsettings set org.gnome.Shell.extensions.user-theme name "Zukitwo"
上記のような既知の動作するデフォルトのテーマを使用すると、元に戻りますが、これはあなたの本当の悪夢かもしれません。動作しないテーマをインストールするTweakツールを破壊します。
テーマのアンインストールはそれほど簡単ではありません。Tweakツールのリストから悪いテーマを削除する方法はわかりません。