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 ...