| 2017-05-23 14:00:35 |
Jeremy Bícha |
description |
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/ |
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 |
|
