Something curious I’d like advice on:
gsettings get org.gnome.shell enabled-extensions | tr "," "\n" |tr -d "^ ' [ ] " | sort
Reports enabled extensions that are not installed anymore.
The extensions gui does not show these extensions
There are no folders for these extensions in:
~/.local/share/gnome-shell/extensions/
/usr/share/gnome-shell/extensions/
I do not see any schema files in
/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.*
dconf shows that there where settings in the past.
When resetting the specific extension settings in dconf (r-click Reset recursively ) the folder is removed in dconf after logging out and but gesettings reports the extension as enabled.
Trawling through the journal does not mention the extension as being loaded or if there is a problem loading extensions.
Searching for similar problems I find solutions that I’ve tried (above). Any tips on what to dive into to find the source of this discrepancy?