[Bug 1692823] Re: gnome-shell's enabled-extensions gsettings list is difficult for distros
** Changed in: gnome-shell Status: Confirmed => Won't Fix -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1692823 Title: gnome-shell's enabled-extensions gsettings list is difficult for distros To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1692823/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1692823] Re: gnome-shell's enabled-extensions gsettings list is difficult for distros
** Changed in: gnome-shell Status: Unknown => Confirmed ** Changed in: gnome-shell Importance: Unknown => Medium -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1692823 Title: gnome-shell's enabled-extensions gsettings list is difficult for distros To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1692823/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1692823] Re: gnome-shell's enabled-extensions gsettings list is difficult for distros
** Bug watch added: GNOME Bug Tracker #783103 https://bugzilla.gnome.org/show_bug.cgi?id=783103 ** Also affects: gnome-shell via https://bugzilla.gnome.org/show_bug.cgi?id=783103 Importance: Unknown Status: Unknown ** Tags added: gnome-17.10 ** Changed in: gnome-shell (Ubuntu) Status: New => Triaged -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1692823 Title: gnome-shell's enabled-extensions gsettings list is difficult for distros To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1692823/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1692823] Re: gnome-shell's enabled-extensions gsettings list is difficult for distros
** Description changed: GNOME Shell extensions are enabled if they are listed in gsettings org.gnome.shell enabled-extensions 1. This makes it difficult to handle upgrades if a distro wants to enable any extension by default. 2. This also causes a problem for certain extensions that should be enabled when installed. For instance, if you install gnome-shell- extension-onboard, it ought to be enabled without having to also explicitly turn it on. At least in Debian, it's expected that something usually starts working once you install it. Proposal What about if the enabled key is part of the extension's own gsettings? Then a distro package could easily have the enabled key set or not. And why not enable extensions by default? This would better match the behavior when you install extensions directly from https://extensions.gnome.org/ + + See Also + + LP: #1692903 issue with GNOME Shell modes -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1692823 Title: gnome-shell's enabled-extensions gsettings list is difficult for distros To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1692823/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
