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

2014-03-21 Thread althaser
Hey Harvey, this is an old bug report. Could you please still reproduce this issue with newer gnome-shell version like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ? thanks regards althaser

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

2013-01-10 Thread Harvey Kelly
Hi again, A few days ago I had a bit of time, so did a complete re-install of Wheezy (using a weekly build iso - the previous installation on this machine was an upgrade from Squeeze), and I removed the contents of my /home/$USER/.config folder - so far, three days and counting, and I've yet to en

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

2012-12-26 Thread Harvey Kelly
On Thu, Dec 20, 2012 at 01:22:24AM +0100, Josselin Mouette wrote: > I can’t reproduce this on a fresh account without mutter. So the > backtrace would be appreciated. > You need to start gdb from another VT (e.g. switch to the first text > console with Ctrl+Alt+F1), and attach gdb to gnome-shell:

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

2012-12-19 Thread Josselin Mouette
Le mercredi 19 décembre 2012 à 23:31 +, Harvey Kelly a écrit : > 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.

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

2012-12-19 Thread 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

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

2012-12-19 Thread Josselin Mouette
Le mercredi 19 décembre 2012 à 21:44 +, Harvey Kelly a écrit : > Package: gnome-shell > Version: 3.4.2-3 > Severity: normal > > Dear Maintainer, > >* What led up to the situation? > > Just using gnome-terminal as normal and then closing, whether by ctrl-d or > clicking 'close' window bu

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

2012-12-19 Thread Harvey Kelly
Package: gnome-shell Version: 3.4.2-3 Severity: normal Dear Maintainer, * What led up to the situation? Just using gnome-terminal as normal and then closing, whether by ctrl-d or clicking 'close' window button, causes gnome-shell to restart * What exactly did you do (or not do) that was e