Just for the record, today's crashes : % coredumpctl list gnome-shell Sun 2017-09-17 13:14:04 CEST 2770 1000 100 11 none /usr/bin/gnome-shell Sun 2017-09-17 17:33:16 CEST 2324 475 468 5 error /usr/bin/gnome-shell Sun 2017-09-17 19:41:11 CEST 2745 1000 100 11 none /usr/bin/gnome-shell Sun 2017-09-17 22:02:01 CEST 11543 1000 100 11 none /usr/bin/gnome-shell