So there indeed are problems with processes that have names strikingly resemlant of the name of Gnome Shell (i.e. gnome-shell).
Alt+F2 + restart feels like just the thing that is going to save my day (or night ... long live lockdown & roll :)) ).
(from https://askubuntu.com/questions/100226/how-to-restart-gnome-shell-from-command-line)
Might be worth adding that I was suspecting an overheating CPU (that I thought to have fixed so was feeling a bit embarrassed) as well as sneakily running virtualboxes even, so I was experiencing more than just a tiny slowdown... fine now. Great.
No comments:
Post a Comment