On Mon, Mar 18, 2013 at 9:49 AM, wrote:

1 patch for repository http://code.haskell.org/XMonadContrib:

Gnome 3 doesn't support the "gnome-session-save --kill" command to logout, so it might be reasonable to add a "gnome3Config" which defines the logout binding. It doesn't destroy backwards compability, so there should be no harm done.

Then wouldn't it be a better idea to rewrite the Gnome config to read

spawn "gnome-session-save --kill; gnome-session-quit --logout"

? -- gwern http://www.gwern.net