I am still seeing this bug running gnome-terminal 3.14.2-0ubuntu3. dmesg ( 2 different times starting and crashing ) [ 63.630087] gnome-terminal-[2579]: segfault at 70 ip 0000000000427844 sp 00007ffd586a7358 error 4 in gnome-terminal-server[400000+46000] [ 798.391293] traps: gnome-terminal-[2689] general protection ip:4171de sp:7ffc29e7dd00 error:0 in gnome-terminal-server[400000+46000]
uname -a Linux **** 3.19.0-33-generic #38-Ubuntu SMP Fri Nov 6 18:18:12 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux cat /etc/lsb-release DISTRIB_ID=Ubuntu DISTRIB_RELEASE=15.04 DISTRIB_CODENAME=vivid -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1401192 Title: gnome-terminal crashes on editing preferences Status in gnome-terminal package in Ubuntu: Fix Released Bug description: Edit -> Preferences -> Profile -> Default -> Edit [ 829.863025] traps: gnome-terminal-[6746] general protection ip:4171de sp:7fff5db55b00 error:0 in gnome-terminal- server[400000+46000] ProblemType: Bug DistroRelease: Ubuntu 15.04 Package: gnome-terminal 3.14.1-1ubuntu1 ProcVersionSignature: Ubuntu 3.16.0-25.33-generic 3.16.7 Uname: Linux 3.16.0-25-generic x86_64 ApportVersion: 2.14.7-0ubuntu10 Architecture: amd64 CurrentDesktop: Unity Date: Wed Dec 10 18:30:28 2014 InstallationDate: Installed on 2013-03-23 (627 days ago) InstallationMedia: Ubuntu 13.04 "Raring Ringtail" - Alpha amd64 (20130321) SourcePackage: gnome-terminal UpgradeStatus: Upgraded to vivid on 2013-05-03 (585 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401192/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp

