Bug#1142713: gnome-shell: logout button not displayed in quick menu on single-user host

[Josh Triplett]

Package: gnome-shell
Followup-For: Bug #1142713
X-Debbugs-Cc: josh at joshtriplett.org

I see from the most recent gnome-shell changelog that there's now a
Debian change to override this setting.

Please don't do this. Omitting the "log out" option is a usability
improvement for most users, and the people who benefit from this
usability improvement are those least likely to file a Debian bug.

Just about the only use for this on a single-user system is "I want to
restart my session", and that only helps for a user who can be sure that
they just need to restart their session, and not any system services or
the kernel (since otherwise they would need the "Restart" option
instead, which reboots).

Someone who has that specialized need can easily re-enable logout
themselves. For most, though, it's just an extraneous menu option.