Ubuntu13.04でのgnome-Shell3.6の使用。
Gnome-Tweak-toolをインストールしました。これを使用して、シェルテーマと現在のテーマ(ウィンドウの境界線)の両方を変更できます。ただし、システムセットまたはカスタムセットのどちらが選択されているかに関係なく、アイコンテーマを変更しても効果はありません。設定は確実に保存されており、dconfでも確認できます。例えば:
$ dconf read /org/gnome/desktop/interface/icon-theme
'oxygen'
$ gsettings get org.gnome.desktop.interface icon-theme
'oxygen'
気にしないでください。これを修正する方法が誰にもわからない場合は、すべての.desktopファイルに絶対パスを挿入します。シンプルだが効果的。