On Mon, 23 May 2011 14:33:56 +0900 Jens Petersen
That doesn't work for me :)
JP> Even after restarting your gnome session? Oh yes, even after rebooting the machine and sacrificing a rabbit. JP> Alternatively one can set a fallback or xmonad session with gsettings JP> (which is comparable to the gconf setting to change window manager in gnome2).
Oh, that's not on the wiki, could you explain how to do it?
JP> Well, I think it is better to use "gnome-session --session=xmonad", which JP> I think overrides the dconf org.gnome.desktop.session.session-name key, JP> as discussed. But anyway I thought I would just mention the key here for JP> completeness. JP> $ gsettings get org.gnome.desktop.session session-name JP> 'gnome' JP> $ gsettings set org.gnome.desktop.session session-name xmonad JP> (I think forcing fallback mode as above will set the key to 'gnome-fallback'.) Thanks for explaining! I'll keep this in mind, too. Ted