[Bug 1781832] Re: gnome tweak tool kills session when changing fonts

2018-07-20 Thread Jazz Veritas
Yup, #4 seems to have fixed it. That narrows the scope of the bug
considerably: now I'm reduced to complaining that it crashed, rather
than gracefully handling a corrupted database.

** Summary changed:

- gnome tweak tool kills session when changing fonts
+ gnome tweak tool and control center should gracefully handle corrupt dconf 
database

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-control-center in Ubuntu.
https://bugs.launchpad.net/bugs/1781832

Title:
  gnome tweak tool and control center should gracefully handle corrupt
  dconf database

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1781832/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1781832] Re: gnome tweak tool kills session when changing fonts

2018-07-19 Thread Gunnar Hjalmarsson
Can it be that your dconf database is corrupt or with incorrect file
permissions? You may want to test by doing:

cd ~/.config/dconf
mv user user.bak

and relogin.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-control-center in Ubuntu.
https://bugs.launchpad.net/bugs/1781832

Title:
  gnome tweak tool kills session when changing fonts

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1781832/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1781832] Re: gnome tweak tool kills session when changing fonts

2018-07-19 Thread Jazz Veritas
I think this is the same problem:
https://www.reddit.com/r/Ubuntu/comments/8j6iu5/ubuntu_1804_crashes_when_opening_system_settings/

However, their solution was to upgrade nvidia drivers to 384, and I'm
already running 390.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-control-center in Ubuntu.
https://bugs.launchpad.net/bugs/1781832

Title:
  gnome tweak tool kills session when changing fonts

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1781832/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1781832] Re: gnome tweak tool kills session when changing fonts

2018-07-19 Thread Jazz Veritas
I may have filed this in the wrong component: I'm getting a similar-
looking crash when I try to change keyboard shortcuts through the
default settings tool.

** Also affects: gnome-control-center (Ubuntu)
   Importance: Undecided
   Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-control-center in Ubuntu.
https://bugs.launchpad.net/bugs/1781832

Title:
  gnome tweak tool kills session when changing fonts

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1781832/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs