Re: Bug#1030683: gnome-shell-extensions-extra: unmaintainable

[Adrian Bunk <bunk@debian.org>]

On Thu, Feb 09, 2023 at 10:58:00PM +0100, Daniel Baumann wrote:
>...
> ..I don't think for this case it matters whetever an extension is part
> of an aggregated package or not:
> 
>   * if it's a standalone src+bin package, the extension would have an RC
>     bug and would eventually be removed from testing until it's fixed.
> 
>   * if it's part of an aggregated package, the extension would be
>     dropped from the aggregated package until it's fixed.
> 
> so, basically same result from a testing users point of view wrt/
> availability of the extension in the archive.

Package removal is often something where a user will manually check 
why it gets removed.

Assuming package dependencies ensure that a new gnome-shell will result 
in removal of incompatible extensions, a standalone src+bin package 
would give the user the option to defer the upgrade , but the aggregated 
package would silently drop the incompatible extension leaving the user
without a required/wanted extension.

> Regards,
> Daniel

cu
Adrian