On Sat, 2015-12-12 at 12:33 +0000, Dariusz J. Garbowski wrote:
I wasn't aware of display-manager.service (one learns a new
every day...) so I would have
ended up using reboot command.
You can also do "init 3" (as root), which has always worked on Linux
and continues to do so. Then log in as root and do "init 5".