如果你最近安装或是更新到Ubuntu Gnome 14.04 LTS，你将能享受到一个稳定和可靠的Gnome shell体验。但Ubuntu 14.04中使用的是Gnome 3.10而并非最新的Gnome 3.12，那该如何升级到Gnome 3.12呢？ ...