GNOME Bugzilla – Bug 777651
Disabling extension should remove all UUID occurrences in "enabled-extensions" setting
Last modified: 2018-01-24 15:18:36 UTC
GNOME Tweak tool affected by bug 777650. For a workaround all UUID occurrences should be cleared from "enabled-extensions" setting
Yuri, are you aware that GNOME Shell itself can enable extensions? Run gnome-shell-extension-prefs So I think this should be fixed in GNOME Shell first.
gnome-shell-extension-prefs is unaffected by this issue - it was written with assumption that "enabled-extensions" array may contains duplicates. I agree, that this issue should be handled in GNOME Shell itself - bug 777650 was created for it.
-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-tweaks/issues/84.