On Fri, 10 Feb 2023 at 13:12:35 +0200, Adrian Bunk wrote:
> Assuming package dependencies ensure that a new gnome-shell will result
> in removal of incompatible extensions
(which they do, if extension maintainers package extensions the same way
the GNOME team does)
> a standalone src+bin
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
Hi Simon,
On 2/9/23 14:50, Simon McVittie wrote:
> My understanding from the changelog is that the maintainer Daniel Baumann
> first packaged a bunch of GNOME Shell extensions according to the GNOME
> team's usual convention (one package per independent upstream project),
> and then was asked by
My understanding from the changelog is that the maintainer Daniel Baumann
first packaged a bunch of GNOME Shell extensions according to the GNOME
team's usual convention (one package per independent upstream project),
and then was asked by the ftp team to replace them with a single package
Hi Jeremy
On 2/9/23 13:15, Jeremy Bícha wrote:
> I am lowering the severity of this bug to allow these extensions to
> reach Debian 12.
thanks you, that is very reasonable as it gives us a bit more time.
please let me re-iterate that I'm perfectly fine with whatever consensus
is reached between
Control: severity -1 important
I am lowering the severity of this bug to allow these extensions to
reach Debian 12. I do still think this is RC for Unstable because of
how it breaks user experiences when new GNOME major releases (like 43
to 44) happen but that won't happen for Stable. A major
fwd, seems not to have made it to the bts
Forwarded Message
Subject: Re: Bug#1030683: gnome-shell-extensions-extra: unmaintainable
Date: Tue, 7 Feb 2023 00:49:42 +0100
From: Daniel Baumann
Reply-To: m...@daniel-baumann.ch
To: Jeremy Bícha
CC: Thorsten Alteholz ,
1030
fwd, seems not to have made it to the bts
Forwarded Message
Subject: Re: Bug#1030683: gnome-shell-extensions-extra: unmaintainable
Date: Mon, 6 Feb 2023 17:01:27 +0100
From: Daniel Baumann
Reply-To: m...@daniel-baumann.ch
To: Jeremy Bícha , Thorsten Alteholz
CC: 1030
Hi everybody,
- There is no upstream that bundles these extensions together like this.
there is almost no upstream who creates Debian packages and yet Debian
does it.
- There is no unifying theme for why these extensions are included and
why others are not included, except perhaps these
Source: gnome-shell-extensions-extra
Version: 20230205-2
Severity: serious
Justification: unsupportable
Tags: sid bookworm
X-Debbugs-CC: debian-gtk-gn...@lists.debian.org
gnome-shell-extensions-extra is a new collection of 6 different source
packages bundled into a single source package with a
10 matches
Mail list logo