Thanks, I've applied the workaround. My /var/crash is currently empty,
I'll follow your advice when the crash occurs again.
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
gnome-shell crashes occasionally (libmutter)
Status in gnome-shell package in Ubuntu:
I see occasional crashes of gnome-shell that get me back to the login
After these crashes I find something like the following line in dmesg:
gnome-shell: segfault at b0 ip 00007fddec8387d1 sp
00007ffdf2061a80 error 4 in libmutter-1.so.0.0.0[7fddec763000+142000]
To manage notifications about this bug go to:
Mailing list: https://launchpad.net/~desktop-packages
Post to : email@example.com
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp