This looks like it:
Nov 07 20:13:10 hostname gnome-session-binary[7876]: WARNING:
Application 'org.gnome.Shell.desktop' killed by signal 11
...
Thank you for taking the time to report this bug and helping to make
Ubuntu better. However, your crash report is either missing or
challenging to deal with as a ".crash" file. Please follow these
instructions to have apport report a new bug about your crash that can
be dealt with by the automatic retracer.
If you are running the Ubuntu Stable Release you might need to enable
apport in /etc/default/apport and restart.
Now open your file manager, navigate to your /var/crash directory and open the
crash report you wish to submit.
If this fails you will have to open a terminal and file your report with
'ubuntu-bug /var/crash/_my_crash_report.crash' where _my_crash_report.crash is
the crash you would like to report. If you get an error that you aren't allowed
to access this report you will have to file it with 'sudo ubuntu-bug
/var/crash/_my_crash_report.crash'.
After the new bug report with a crash file has been created, please
comment here telling us the new bug ID. Please do not manually attach
any crash files to bugs - only use ubuntu-bug (or apport-cli).
** Changed in: gnome-shell (Ubuntu)
Status: New => Incomplete
--
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/1730748
Title:
gnome-shell froze and crashed
Status in gnome-shell package in Ubuntu:
Incomplete
Bug description:
Cannot say much except that I had opened gnome-terminal and suddenly
the session just froze and crashed. I lost Wayland session and had to
login again.
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-shell 3.26.1-0ubuntu5
ProcVersionSignature: Ubuntu 4.13.0-16.19-generic 4.13.4
Uname: Linux 4.13.0-16-generic x86_64
ApportVersion: 2.20.7-0ubuntu3.1
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Tue Nov 7 20:15:07 2017
DisplayManager: gdm3
InstallationDate: Installed on 2017-10-21 (17 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Release amd64 (20171018)
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1730748/+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
