Source: gnome-shell-extension-system-monitor Version: 40-6 Severity: serious X-Debbugs-CC: cost...@debian.org, samuel...@debian.org
The official gnome-shell-extensions package has included a system-monitor extension since version 46. This causes a few problems for this extension. 1. Arguably the new extension should have ownership of the name "gnome-shell-extension-system-monitor" 2. There is actually a file conflict as both the older Debian packaged extension and the new official extension ship the same gsettings schema file name. See https://bugs.debian.org/1077748 3. I believe there is significant benefit in splitting gnome-shell-extensions into separate packages so that there is a separate package for the GNOME Classic session so that people can use those extensions without needing to have the session installed. Also, there is benefit to people being able to choose exactly which extensions they want installed instead of having a long list installed. If this would happen, the package name conflict would be even more obvious. So if someone sees a need to have a separate packaged system monitor extension from now on, they will need to use a different binary package name. I'm going to turn this package into a transitional package depending on gnome-shell-extensions for now. Thank you, Jeremy Bícha
