gnome-tweak-tool crashes when changing a dconf key with another application
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-tweak-tool (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned |
Bug Description
Since upgrade to 13.10, ubuntu-tweak-tool crashes after few minutes of use (or simply leaving it running).
At the time it crashes, there is a message in syslog:
SYS: Oct 27 19:53:25 samsung-romano kernel: [ 6009.704170] dconf worker[12663]: segfault at 0 ip 00007fd1912621c0 sp 00007fd185009c48 error 4 in libpthread-
If I run it from a terminal, the message is:
(0)samsung-
INFO : GSettings missing key org.gnome.
(gnome-
INFO : GSettings missing key org.gnome.
INFO : GSettings missing key org.gnome.
INFO : GSettings missing key org.gnome.
INFO : GSettings missing key org.gnome.
INFO : GSettings missing key org.gnome.
INFO : GSettings missing key org.gnome.
INFO : GSettings missing key org.gnome.
INFO : GSettings missing key org.gnome.
INFO : GSettings missing key org.gnome.
[1] 12661 segmentation fault (core dumped) gnome-tweak-tool
ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: gnome-tweak-tool 3.8.1-0ubuntu1
ProcVersionSign
Uname: Linux 3.8.0-31-generic x86_64
ApportVersion: 2.12.5-0ubuntu2.1
Architecture: amd64
Date: Sun Oct 27 19:55:08 2013
InstallationDate: Installed on 2013-09-30 (27 days ago)
InstallationMedia: Ubuntu-GNOME 13.04 "Raring Ringtail" - Release amd64 (20130424)
MarkForUpload: True
PackageArchitec
SourcePackage: gnome-tweak-tool
UpgradeStatus: Upgraded to saucy on 2013-10-18 (9 days ago)
To reproduce the bug, do the following:
1) open gnome-tweak-tool and don't do anything with it desktop. wm.preferences use-system- font
2) open dconf-editor
3) go to org.gnome.
4) change the value of a key (for example, click on titlebar-
-> gnome-tweak-tool crashes immediately.