On 12/13/15 02:58, Patrick O'Callaghan wrote:
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 thing
> 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".
And there is always "killall -u username".