It seems the problem is mutter: Installing gnome-shell-dbg pulls in mutter (which wasn't installed), and I caouldn't reproduce the gnome-shell-restart bug.
Uninstalling mutter, logout, login, and the bug had returned. I am being a bit dim here (I read the link you sent), but not sure if I should run 'gdb gnome-shell' from a VT? As closing the gnome-terminal whilst running the command isn't going to work - that's obvious to even me! (Sorry, just very inexperienced at bug reporting.) Anyway, installing mutter fixes the problem as far as I can see (tested 9 or 10 times). On Wed, Dec 19, 2012 at 11:05:29PM +0100, Josselin Mouette wrote: > Is it reproducible? -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
