I'd like to restart the GUI in Ubuntu 18 (using the standard Gnome interface), without rebooting. How can I do this?
I've found both these questions (Restart Only GUI Session Or Restart Only Operating System? and How do I restart the window manager?) but none seem to apply to Ubuntu 18 (sddm doesn't even seem to exist anymore).
