desktop-packages team mailing list archive

[Egmont Koblinger <egmont@xxxxxxxxx>]

>  but I am afraid that due to above reason they won't care about that
report

Rest assured, it's not that we don't care, it's that we couldn't
reproduce on our systems and have absolutely no clue what could be the
problem.  Chances are it's some problem with some other component of
Vivid that is still unstable.

Purely out of curiosity: "Upgraded to vivid on 2013-05-03 (585 days
ago)" - wat?

-- 
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:
  Triaged

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