I'm running Ubuntu 18.04, and want to try the Awesome window manager. I installed it with
sudo apt install awesome. How can I switch between GNOME and Awesome?
I found this answer, but I can't see how to "log out, choose the one you want, and log back in." under GNOME.