GNOME Bugzilla – Bug 777650
"enabled-extensions" setting in "org.gnome.shell" schema have duplicated values
Last modified: 2021-07-05 14:32:54 UTC
Created attachment 344039 [details] Test script For some reason "enabled-extensions" setting does not checked for duplicates resulting in following output of attached test script on my PC: UUID "TopIcons@phocean.net" occurence: 48 UUID "pwcalc@thilomaurer.de" occurence: 20 UUID "gnome-shell-trash-extension" occurence: 49 UUID "dash-to-dock@micxgx.gmail.com" occurence: 20 UUID "topIcons@adel.gadllah@gmail.com" occurence: 20 UUID "launch-new-instance@gnome-shell-extensions.gcampax.github.com" occurence: 32 UUID "TaskBar@zpydr" occurence: 46 UUID "drive-menu@gnome-shell-extensions.gcampax.github.com" occurence: 24 As I think this is strange and non-obvious behavior. GNOME Tweak Tool [1][2] and chrome-gnome-shell [3], for an example, both wrongly assume that there are no duplicated UUIDs in "enabled-extensions" array. [1] https://git.gnome.org/browse/gnome-tweak-tool/tree/gtweak/gshellwrapper.py#n142 [2] https://git.gnome.org/browse/gnome-tweak-tool/tree/gtweak/gsettings.py#n174 [3] https://git.gnome.org/browse/chrome-gnome-shell/tree/connector/chrome-gnome-shell.py?h=v8#n412
Originaly reported at Github for chrome-gnome-shell. Added URL for history
For what I see we can filter duplicates in onEnabledExtensionsChanged [1] or in getEnabledExtensions [2], eg by using Set(). [1] https://git.gnome.org/browse/gnome-shell/tree/js/ui/extensionSystem.js#n248 [2] https://git.gnome.org/browse/gnome-shell/tree/js/ui/extensionSystem.js#n240
GNOME is going to shut down bugzilla.gnome.org in favor of gitlab.gnome.org. As part of that, we are mass-closing older open tickets in bugzilla.gnome.org which have not seen updates for a longer time (resources are unfortunately quite limited so not every ticket can get handled). If you can still reproduce the situation described in this ticket in a recent and supported software version, then please follow https://wiki.gnome.org/GettingInTouch/BugReportingGuidelines and create a new ticket at https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/ Thank you for your understanding and your help.