Public bug reported:
Binary package hint: gnome-terminal
1 - Open a gnome terminal
2 - Click on Edit / Profiles ... Change the default profile, close.
4 - Open a new gnome terminal, with the new default profile
5 - Repeat step 2: at some point, when clicking options, all terminals
close/crash.
It is easy to repeat a crash, but not easy to nail an exact sequence of
changes in the profile options.
On ubuntu hardy 8.04.1 dist-upgraded to today 2008-12-10, on a core 2
duo thinkpad T60p.
$ lsb_release -rd
Description: Ubuntu 8.04.1
Release: 8.04
$ apt-cache policy gnome-terminal
gnome-terminal:
Installed: 2.22.1-0ubuntu2
Candidate: 2.22.1-0ubuntu2
Version table:
*** 2.22.1-0ubuntu2 0
500 http://us.archive.ubuntu.com hardy/main Packages
100 /var/lib/dpkg/status
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
gnome terminal crashes when changing the profile
https://bugs.launchpad.net/bugs/306837
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in ubuntu.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
