Ubuntu 12.10下如何安装与管理Gnome Shell主题呢？首先在Ubuntu 12.10下安装Gnome Tweak Tool。
安装好后还不行的，这时Tweak Tool 的Shell扩展还是空白的。并且Tweak Tool的主题里的 Shell Theme 这里是感叹号的，不能选择的。
这时大家需要安装User Theme Extension，User Theme Extension可通过以下PPA安装。
sudo add-apt-repository ppa:satyajit-happy/themes
sudo apt-get update
sudo apt-get install gnome-shell-extensions
安装好之后注销下系统或者重启系统，重新登录。
再次打开 Tweak Tool，在Shell扩展里开启 User Themes，再转到主题的 Shell theme ，就可以选择安装好的Gnome Shell主题。