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
/gksudo
)gnome-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"