回答:
私はこの問題を自分で解決しましたが、非常に簡単な解決策でした。
Gnome Tweak Tool
。Extensions
メニュー項目をクリックし、User themes
スライダーをに移動しOn
ます。Gnome Tweak Tool
てもう一度開きます。Shell theme
で、Appearance
メニューでを選択できるはずです。@miceagol's
答えに加えて:GNOME Tweak Toolのパネルに表示さUser Themes
れない場合はExtensions
、extensions.gnome.orgからインストールする必要があります。インストール後に調整ツールを再起動します。
ターミナルを使用してテーマを設定できます:
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"
上記のような既知の動作するデフォルトのテーマを使用すると、元に戻りますが、これは実際には悪夢であるかもしれません。動作しないテーマをインストールするエントリの背後に残して、失敗したエントリをクリックすると微調整ツールを破壊します。
テーマのアンインストールはそれほど簡単ではありません。.微調整ツールのリストから悪いテーマを削除する方法はわかりません。