desktop-packages team mailing list archive

["Christopher M. Penalver" <christopher.m.penalver@xxxxxxxxx>]

Tamas Papp, thank you for reporting this bug and helping make Ubuntu better. The issue you are reporting is an upstream one. Could you please report this problem to them via https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-terminal :
Component: general
Version: 3.14.x
Severity: Critical
OS: Linux

Please provide a direct URL to your report once you have made it so that
it may be tracked.

Thank you for your understanding.

** Changed in: gnome-terminal (Ubuntu)
   Importance: Undecided => Medium

** Changed in: gnome-terminal (Ubuntu)
       Status: New => Triaged

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