Public bug reported:
When gnome-terminal is _not_ running, execute the command
gnome-terminal --preferences
Select the Profiles tab, and click on Edit to edit whichever profile.
gnome-terminal crashes.
The main idea behind "gnome-terminal --preferences" is that if someone
screws up their gnome-terminal configuration big time (e.g. set a custom
command that fails), they can fix it. This crash makes it impossible
using this convenient approach.
The crash is not present in upstream gnome-terminal, it is caused by the
transparency patch. 0001-Restore-transparency.patch adds this snippet to
src/profile-editor.c:
gtk_widget_style_get (GTK_WIDGET (
terminal_window_get_active (TERMINAL_WINDOW (transient_parent))),
"background-darkness", &style_darkness,
NULL);
transient_parent is NULL in this case, and terminal_window_get_active()
is not prepared for that.
Crash is present in Artful (3.24.2-0ubuntu4) as well as current Bionic
(3.26.2-3ubuntu1). Xenial is not affected because the cmdline option
--preferences didn't exist back then.
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-terminal 3.24.2-0ubuntu4
ProcVersionSignature: Ubuntu 4.13.0-32.35-generic 4.13.13
Uname: Linux 4.13.0-32-generic x86_64
ApportVersion: 2.20.7-0ubuntu3.7
Architecture: amd64
CurrentDesktop: Unity:Unity7:ubuntu
Date: Sun Jan 28 11:51:23 2018
InstallationDate: Installed on 2016-11-09 (444 days ago)
InstallationMedia: Ubuntu 16.10 "Yakkety Yak" - Release amd64 (20161012.2)
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to artful on 2017-09-21 (128 days ago)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug artful bionic
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1745825
Title:
Crash in "gnome-terminal --preferences" due to downstream patch
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1745825/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
