Bug#994018: gnome-tweaks must not suggest installing Extensions app from flathub

[Simon McVittie]

Control: severity -1 normal

On Thu, 09 Sep 2021 at 22:30:51 +0200, Julian Andres Klode wrote:
> gnome-tweaks suggests users install the Extensions app from flathub,
> if not provided by the distribution. This is misleading the user to
> install apps from outside of main, in violation of policy 2.2.1.

I agree that this is a bug, and I'll look into resolving it with an
appropriate Debian-specific change.

I do not agree that this is a RC bug or a Policy violation: acknowledging
the existence of apps outside Debian is not forbidden by Policy. Even if
the Extensions app was non-free, a Suggests on it would be allowed.

The message is somewhat misleading because it says "if not provided by
the distribution", but a Debian package containing gnome-tweaks is in a
position to know that gnome-extensions-app *is* provided by the
distribution (specifically in the gnome-shell-extension-prefs package).

    smcv