| === Guest25333 is now known as jokerdino | ||
| charlie__ | hello, I am new to Gnome, I was using Linux Mint before hand. I have downloaded your distro but I want to upgrade to Gnome 3.10 (HiDPI support) | 18:15 |
|---|---|---|
| charlie__ | what is the best way to do this under this distro | 18:15 |
| charlie__ | do I need to add your PPA? or Gnome3 team PPA | 18:15 |
| charlie__ | interested to hear your responses, at the moment I can only see this way: http://askubuntu.com/questions/358989/install-gnome-3-10-in-ubuntu-13-10-without-breaking-unity | 18:16 |
| roasted | if i remember right the GNOME 3ppa brings in the missing bits of 3.8 | 18:23 |
| roasted | but the next ppa brings in 3.10 | 18:23 |
| === ph_afk is now known as ph | ||
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!