Ubuntu12やLinuxMint13でGNOME Shellのテーマを変更する
GNOME Shellでテーマを変更するには、エクステンションのUser Themesをインストールする必要がある。
ただし、Ubuntu12.04やLinuxMint13においては、User Temesのインストールだけではテーマを変更できないどころかgnome-tweak-toolすら起動しなくなってしまうので、以下のような対処が必要。
1. gnome-tweak-toolのインストール
$ sudo apt-get install gnome-tweak-tool
2. User Themeエクステンションのインストール
https://extensions.gnome.org/extension/19/user-themes からON/OFFでインストールできる。
3. スキーマファイルのコピーとコンパイル*1
$ sudo cp ~/.local/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gcampax.github.com/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/
4. テーマをダウンロード
GNOME-Look.orgあたりから。
5. ダウンロードしたファイルを解凍して、~/.themesにコピーする
その際に./gnome-shellディレクトリが以下のような位置にあること。
~/.themes/THEME NAME/gnome-shell/...