Bug#726166: gnome-shell crashes randomly, leaving my graphical applications borderless

[intrigeri]

Control: tag -1 + moreinfo

Hi Ugo,

Ugo wrote (12 Oct 2013 23:29:02 GMT) :
> gnome-shell crashes randomly several times a week on my computer. The graphical
> applications are still running but without any GNOME-related interface elemnts
> (window decorations, toolbars, notification bar and top menu bar). gnome-shell
> is no longer listed by top.

> I have to log in another TTY, kill Xorg to be able to relaunch gnome-shell and
> log back in.

This bug report is about Debian 7 (Wheezy). Can you reproduce it on
Debian 8 (Jessie)?

Cheers,
--
intrigeri