You're a bit late, gnome 3.8 was released back in March. HN story at the time: https://news.ycombinator.com/item?id=5451646 https://news.ycombinator.com/item?id

You're a bit late, gnome 3.8 was released back in March. HN story at the time: https://news.ycombinator.com/item?id=5451646 https://news.ycombinator.com/item?id=5451646 . (FWIW, I've been running it for a couple of weeks, and rather like it. A couple of the 'classic mode' extensions make gnome-shell a lot more usable (especially TopIcons extension which lets you have a useful taskbar), and it feels a lot more responsive than gnome-shell 3.6).