Bug#696348: gnome-shell restarts when closing gnome-terminal
harv3yk3lly at gmail.com
Wed Dec 19 23:31:50 UTC 2012
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?
More information about the pkg-gnome-maintainers