@mikebabb in sleep really enjoying it. Contrary to what I said in my post, I think I’m probably going to replace Pop on my desktop too.
@mikebabb Yes. And I'm counting it pretty-much a failure. Between /etc/issue saying I now have #ubuntu 18.10 (a downgrade) and something something completely blown up around #DNS name resolution (all finger point at systemd-resolved not actually listening on port 53, blog post on debugging process coming ), I've decided to just back up and install 20.04 clean.
@eludom Yikes, yeah that all sounds a bit of a mess and a clean install is probably the fastest way out of it!
I always kept /home/ on its own partition to maintain configs and get up and running again quickly after a clean install. That way it's just a case of installing over /, pointing the installer to the home partition, and logging in with the same username and password before installing all your applications.
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!