> 2. For some reason, Gnome doesn't let me log out any more. And the > startup window of the Gnome desktop just stays there, with > "Nautilus" at the bottom. Starting applications etc. works. This > may have started with my recent language experiments. UPDATE: Gnome /does/ log me out about a minute after I clicked on the "Log out" button without a warning. I have no idea what it does in the meantime. "top" doesn't show any busy processes. Very puzzling. --D.