d80ef67d1d
Commit 4589da957 added D-Bus API for enabling/disabling extensions, use that if possible to provide better feedback and not clutter the settings with non-existent UUIDs. The old code path is preserved as fallback to keep the commands working from outside a running shell session. https://gitlab.gnome.org/GNOME/gnome-shell/issues/2391