Fixing Gnome's Gnonsense
When some aspect of the Gnome desktop stops working at runtime, you can do alt+f2 and type "restart" to refresh the desktop without losing any of your open programs. I would say that my experience of using Ubuntu 20.04 is not as stable as Ubuntu 16.04 which felt rock-solid after doing one bit of config . But it's not really a fair comparison because I've changed hardware, desktop environment, and other programs during that time; and furthermore, my current install was Kubuntu 19.10 followed by a "dist-upgrade" that unexpectedly gave me regular Ubuntu 20.04 with all of its defaults, so it's a bit messy. Because of my messy install, I don't know how many of the problems I encounter a normal user would experience, so I won't detail them here. I don't need to do this restart trick very often, and this solution is quick and painless for the occasional buggyness. I'm not exactly bothered about accidentally gaining vanilla Ubuntu because alth