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. https://bugs.launchpad.net/bugs/1753131 Title: gnome-shell crashes occasionally (libmutter) Status in gnome-shell package in Ubuntu: Incomplete Bug description: I see occasional crashes of gnome-shell that get me back to the login screen. 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] Ubuntu: 17.10 gnome-shell: 3.26.2-0ubuntu0.1 mutter: 3.26.2-0ubuntu0.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1753131/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : firstname.lastname@example.org Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp