Public bug reported: 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) ** Affects: gnome-terminal (Ubuntu) Importance: Undecided Status: New ** Tags: amd64 apport-bug vivid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1401192 Title: gnome-terminal crashes on editing preferences To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401192/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs