Re: F17 gnome-terminal crashes

2012-07-05 Thread Frode Petersen
Den 05. juli 2012 16:54, skrev Michael Schwendt: On Thu, 5 Jul 2012 16:35:55 +0200, Olav Vitters wrote: On Thu, Jul 05, 2012 at 04:03:08PM +0200, Frode Petersen wrote: I was about to report a bug towards terminal, as several other people have, but after trying to start terminal as a fresh test

Re: F17 gnome-terminal crashes

2012-07-05 Thread Michael Schwendt
On Thu, 5 Jul 2012 16:35:55 +0200, Olav Vitters wrote: > On Thu, Jul 05, 2012 at 04:03:08PM +0200, Frode Petersen wrote: > > I was about to report a bug towards terminal, as several other > > people have, but after trying to start terminal as a fresh test user > > without problems, I'm uncertain a

Re: F17 gnome-terminal crashes

2012-07-05 Thread Olav Vitters
On Thu, Jul 05, 2012 at 04:03:08PM +0200, Frode Petersen wrote: > I was about to report a bug towards terminal, as several other > people have, but after trying to start terminal as a fresh test user > without problems, I'm uncertain about this being a bug in terminal > or not. [..] > $ gnome-termi

F17 gnome-terminal crashes

2012-07-05 Thread Frode Petersen
I was about to report a bug towards terminal, as several other people have, but after trying to start terminal as a fresh test user without problems, I'm uncertain about this being a bug in terminal or not. Problem: gnome terminal crashes every time I try to start it, with abrt reporting it ki