Package: gnome-tweak-tool Version: 3.25.91-1 Severity: important Dear Maintainer,
gnome-tweak-tool exits immediately after start with exit code 133. The complete error message is: (gnome-tweak-tool:10988): GLib-GIO-ERROR **: Settings schema 'org.gnome.shell' does not contain a key named 'disable-user-extensions' Trace/breakpoint trap After downgrade to version 3.22.0-1 its usable again. Best regards, Robert -- System Information: Debian Release: buster/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.12.0-1-amd64 (SMP w/8 CPU cores) Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8), LANGUAGE=en_US.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages gnome-tweak-tool depends on: ii gir1.2-glib-2.0 1.53.2-4 ii gir1.2-gnomedesktop-3.0 3.22.2-1 ii gir1.2-gtk-3.0 3.22.19-1 ii gir1.2-notify-0.7 0.7.7-2 ii gir1.2-pango-1.0 1.40.11-1 ii gir1.2-soup-2.4 2.56.1-1 ii gnome-settings-daemon 3.24.3-1 ii gnome-shell-common 3.22.3-3 ii gsettings-desktop-schemas 3.24.0-2 ii mutter-common 3.22.4-2 ii python3 3.5.3-3 ii python3-gi 3.22.0-2+b1 gnome-tweak-tool recommends no packages. gnome-tweak-tool suggests no packages. -- no debconf information
