Ubuntu 14.10 で gnome shell テーマを変更するにはどうすればいいですか?

Ubuntu 14.10 で gnome shell テーマを変更するにはどうすればいいですか?

gnome shell のテーマを変更したいのですが、ubuntu 14.10 を使用しているのですが、ユーザー拡張機能が動作しません。誰か助けてくれませんか?

答え1

あなたは、ユーザーテーマ拡張機能(有効になっていることを確認してください): 有効になっていることを確認してください

そしてGnome 調整ツール: シェルテーマのエントリを探す

コマンドラインからテーマを変更することもできます。 を使用して状況を調べdconf-editor、 を使用してgsettingsテーマを変更できます。つまり、ユーザー テーマ拡張機能を備えた Gnome 3.8 の場合、次のようにするとテーマが「Zukitwo」に設定されます。

gsettings set org.gnome.shell.extensions.user-theme name "Zukitwo"

テーマをリセットします:

gsettings reset org.gnome.shell.extensions.user-theme name

現在のテーマの名前を取得します

gsettings get org.gnome.shell.extensions.user-theme name

テーマをどこかからダウンロードした場合(例えば、デビアントアート) にテーマのディレクトリを配置します~/.local/share/themes(存在しない場合は作成します)。Gnomegnome-shellシェルテーマのフォルダが含まれていない場合、テーマは機能しません。その場合は、次の方法で同様のものを作成できます。エレガントな色彩または類似。


警告:この方法は元に戻すのが難しく、ログイン画面のテーマも変更されます (テーマが機能しない場合は、おそらく問題が発生する可能性が高くなります...)

さもないと(rootとして実行してこれを行う必要があるかもしれませんnautilus- その場合はpkexec/gksudognome-shellテーマのコンテンツの一部をコピーできます/usr/share/gnome-shell/theme- 事前に既存のテーマをバックアップしておいてください:

sudo cp -r "/usr/share/gnome-shell/theme" "/usr/share/gnome-shell/themeBACKUP"

権限を変更して、通常のユーザーとしてこのディレクトリにアクセスできるようにすることもできます。

sudo chmod 777 "/usr/share/gnome-shell/theme"

関連情報