<html> <head> <meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"> </head> <body text="#000000" bgcolor="#FFFFFF"> <div class="moz-cite-prefix">On 10/02/2014 18:06, Christian Dysthe wrote: </div> <blockquote cite="mid:1392048418.9009.4.camel@ThinkPad-T430s" type="cite"> <pre wrap="">On Mon, 2014-02-10 at 13:20 +0200, Marius Gedminas wrote: </pre> <blockquote type="cite"> <pre wrap="">On Sat, Feb 08, 2014 at 08:32:39AM -0600, Christian Dysthe wrote: </pre> <blockquote type="cite"> <pre wrap="">I now have Ubuntu GNOME on all my laptops. One one of them I'm able to live a little bit on the bleeding edge and wondered if the Gnome3 Team PPA is worth trying. Is anyone here running it, and is it usable for daily use for someone who can live with a glitch now and then? </pre> </blockquote> <pre wrap=""> I'm on Ubuntu 13.10 with the gnome3-team/gnome3 PPA. It has GNOME 3.10 instead of 3.8. There are some minor buglets (e.g. Alt-RMB dragging to resize triggers <a class="moz-txt-link-freetext" href="https://bugs.launchpad.net/ubuntu-gnome/+bug/1272392">https://bugs.launchpad.net/ubuntu-gnome/+bug/1272392</a>; shield background in the lock screen is confused by multi-monitor changes and sometimes shows up black). Otherwise it's perfectly usable. </pre> <blockquote type="cite"> <pre wrap="">The PPA here: <a class="moz-txt-link-freetext" href="https://launchpad.net/~gnome3-team/+archive/gnome3">https://launchpad.net/~gnome3-team/+archive/gnome3</a> </pre> </blockquote> </blockquote> <pre wrap=""> I did try the PPA on the test machine, and it works well. I saw somewhere that you should do a ppa-purge before you do a major update like from 13.10 to 14.04, so I wanted to try ppa-purge but it was not working very well. In fact I could not log in after I did it. Doesn't really matter on that machine though. I just wonder if it was only me, or if ppa-purge isn't really up the task with such a massive PPA updating everything Gnome and GTK?</pre> </blockquote> Hi, If you run update-manager -d through the command line or if you update through the Update Manager interface, any PPA's that you have added to the sytem automatically get disabled and renamed in /etc/apt/sources.list.d/. Once the upgrade has completed, you can either re-add the PPA or rename the file under /etc/apt/sources.list.d/. You would then need to open the file and change the line from # old distro (upgraded from) deb <a class="moz-txt-link-freetext" href="http://ppa.launchpad.net/moka/faba-icon-theme/ubuntu">http://ppa.launchpad.net/moka/faba-icon-theme/ubuntu</a> saucy main # new distro (upgraded to) deb <a class="moz-txt-link-freetext" href="http://ppa.launchpad.net/moka/faba-icon-theme/ubuntu">http://ppa.launchpad.net/moka/faba-icon-theme/ubuntu</a> trusty main Run apt-get update and if the package maintainer has built new packages for the distro release then you should be all good to go. If apt-get complains, disable the list file (rename to .list.save) and ask the package maintainer to create packages for the new distro release. I must admit I haven't done that in a long time, I normally just re-add the PPA's I need again. Hope that helps! :) <blockquote cite="mid:1392048418.9009.4.camel@ThinkPad-T430s" type="cite"> <pre wrap=""> I would also like to ask you if you have done a major update with that PPA enabled, or if you simply do a clean install between Ubuntu versions? </pre> <blockquote type="cite"> <pre wrap=""> Yep, that's the one. Marius Gedminas </pre> </blockquote> <pre wrap=""> </pre> </blockquote> <pre class="moz-signature" cols="72">-- All the best, Bruce FSF Member 10674 / The FSF is a charity with a worldwide mission to advance software freedom / Join the Free Software Foundation: <a class="moz-txt-link-freetext" href="http://www.fsf.org/register_form?referrer=10674">http://www.fsf.org/register_form?referrer=10674</a> </pre> </body> </html>