
18 Mar
2013
18 Mar
'13
10:06 a.m.
On Mon, Mar 18, 2013 at 9:49 AM,
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