On 25 June 2018 at 22:07, Jim Price <d1vers...@hotmail.com> wrote: > ... > Lesson learned - don't just delete PPAs which have been disabled by a > dist-upgrade.
That's true, but in fact the better lesson is to purge ppas before upgrading and then put them back again. Colin -- ubuntu-uk@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-uk https://wiki.ubuntu.com/UKTeam/
