I've had to reinstall 18.04 on this system to make it usable. It now works - with (essentially) the same configuration and with no change to my $HOME files.
I've had to reinstall 18.04 on this system to make it usable.
It now works - with (essentially) the same configuration and with no change to my $HOME files.