On 29/12/19 04:30, Simon Albrecht wrote: > thanks for the reply. I have learned from painful experience that it > seems better to just reinstall the OS completely, avoiding any issues > with the upgrade, and restore user data from backup. I have made all > preparations for that and am trying to do it (freshly install 18.04).
In that case, if you haven't already, make sure you put /home on its own partition. That will make things a lot easier as the re-install won't go anywhere near your home directories ... Cheers, Wol
