Ralf, That log message is very common in GTK apps. I don't think it is related to crashing.
As for $HOME/core, it sounds like you're now stuck on bug 1746874. Sorry. I hope we can fix that soon. -- 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[8428]: 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 : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
