gnome shell升级到特定版本