gnome-session-quit(1) on Linux
The text fd00b797a27e, as Debian 7 (Wheezy) shipped it.
End the current GNOME session
Flags it lists
-
--logout -
--no-prompt -
--power-off