=== yofel_ is now known as yofel [18:01] Hmmm... the GNOME 3 PPA seems to break the Raring daily at this point. [18:07] Anyway... this is rather inconvenient... I get the opening GNOME screen (but no fade to GDM). No graphical applications work, and [ sudo apt-get update ] doesn't either (my Internet connection does web auth). [18:09] (Should I ask this in +1?) === yofel_ is now known as yofel [20:08] so, how do i try gnome-classic ? I've installed ubuntu gnome 13.04 and added both the gnome-3-team ppa and ricotz-testing ppa and updated everything but its still not an option on login? [20:34] nm, its magically working now... :p [21:21] gonyere: I think we need to upload a new gnome-shell-extensions version for 3.7.92 [21:30] jbicha - could be. can i recommend that in the next vs we include gnome-shell-extensions by default in 13.10 ubuntu gnome ? [21:30] so that classic works out-of-the-box [21:50] gonyere: yes I believe we were planning to do that when we ship 3.8 [22:00] jbicha: cool