Bug#1077752: gnome-shell-extension-system-monitor: Duplicates official extension

[Jeremy Bícha]

Source: gnome-shell-extension-system-monitor
Version: 40-6
Severity: serious
X-Debbugs-CC: costela at debian.org, samueloph at 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