Hallo h2oo,
bei mir tritt das Verhalten ebenfalls auf. Allerdings startet die Gnome Shell nach 10 bis 60 Sekunden neu und es geht weiter. Eine genaue Ursache habe ich nicht gefunden. Früher hatte ich eine Nvidia-Grafikkarte, jetzt ist es die HD 630 von Intel.
Du kannst in die Apport-Log-Dateien schauen, die sich in /var/log befinden. Allerdings kann es sein, dass wegen des "Absturzes" keine Log-Datei geschrieben werden konnte. Wenn sie geschrieben wurde, dann sieht das in etwa so aus ...
ERROR: apport (pid 6143) Wed Jul 4 13:39:39 2018: called for pid 1526, signal 6, core limit 0, dump mode 1
ERROR: apport (pid 6143) Wed Jul 4 13:39:39 2018: executable: /usr/bin/gnome-shell (command line "/usr/bin/gnome-shell")
ERROR: apport (pid 6143) Wed Jul 4 13:39:39 2018: debug: session gdbus call: (true,)
ERROR: apport (pid 6143) Wed Jul 4 13:40:02 2018: wrote report /var/crash/_usr_bin_gnome-shell.1000.crash
Abgestürzt ist also in diesem Falle /usr/bin/gnome-shell und ein Crash-Log findet man (vielleicht) in /var/crash. Bei mir ist der Ordner allerdings leer. Ich habe einen "Hänger" etwa zweimal pro Monat und meiner Erinnerung nach immer, wenn der VLC läuft.
Du kannst folgendes versuchen:
Alt+F2 drücken, r eingeben und mit Enter bestätigen. Das startet die Gnome Shell neu.
Strg+Alt+F1 drücken, anmelden, folgendes eingeben und danach mit Strg+Alt+F7 zurück zum Desktop wechseln.
sudo kill -HUP `pidof gnome-shell`
Gruß, Robert.