Hi, I recently did a "guix pull" and upgraded the software installed in my profile. Since then, gnome-tweak-tool has failed to start. Before that, it started up successfully.
Here's the error: --8<---------------cut here---------------start------------->8--- $ gnome-tweak-tool (..gnome-tweak-tool-real-real:2030): GLib-GIO-ERROR **: Settings schema 'org.gnome.shell' does not contain a key named 'disable-user-extensions' Trace/breakpoint trap --8<---------------cut here---------------end--------------->8--- Here's the bad version: /gnu/store/6zgb18rbi8r4lhvpa38jym6c36xxb2r2-gnome-tweak-tool-3.24.0/bin/gnome-tweak-tool Here's the last good version I had installed on my system: /gnu/store/9i80nasg0z8dn88qdskmhcvzs5vkkfd7-gnome-tweak-tool-3.22.0/bin/gnome-tweak-tool Any idea how to debug this or fix this? I wonder if it's related to the recent merge from staging into master (f484a50d5), which seems to have caused other bugs (e.g., bug 27264). -- Chris
signature.asc
Description: PGP signature
