Bug#696348: gnome-shell restarts when closing gnome-terminal

[Harvey Kelly]

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?