GNOME Bugzilla – Bug 693941
While gnome-shell restarting, sometimes gnome-terminal crashes
Last modified: 2014-12-09 04:18:15 UTC
Core was generated by `/usr/libexec/gnome-terminal-server'. Program terminated with signal 11, Segmentation fault.
+ Trace 231524
gtk3-3.7.8-1.fc19.x86_64 gnome-shell-3.7.5-2.fc19.x86_64 gnome-terminal-3.7.2-2.fc19.x86_64
Crash inside gtk+, no gnome terminal code involved.
Duplicated bug 694751 ? While restarting(killall -9 gnome-shell) deadlock gnome-shell( bug 688197 ), bug 69341 and bug 694751 happen. While restarting deadlock gnome-shell, epiphany is Segmentation fault. Core was generated by `epiphany'. Program terminated with signal 11, Segmentation fault.
+ Trace 231673
Sorry. Not bug 69341 but bug 693941 in comment 2
gnome-terminal crashes when new profile (or profile edit) is requested https://bugzilla.redhat.com/show_bug.cgi?id=928704#c1 click profile -> gnome terminal is always Segmentation fault.
Still happening on 3.10 / 3.11 ?
lets assume it doesn't