Your message dated Wed, 13 May 2026 16:18:26 +0100
with message-id <[email protected]>
and subject line Re: gnome-shell-extension-disable-workspace-switcher: needs
update for GNOME Shell 50
has caused the Debian Bug report #1136412,
regarding gnome-shell-extension-disable-workspace-switcher: needs update for
GNOME Shell 50
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1136412: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1136412
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: gnome-shell-extension-disable-workspace-switcher
Version: 6-1
Severity: serious
Tags: forky sid upstream
User: [email protected]
Usertags: gnome-shell-50
Hi Daniel,
I see that you've now been able to break up gnome-shell-extensions-extra
into individual packages per extension, as requested in #1030683 -
thanks for persevering with that!
Most of the individual extensions seem to be compatible with the new
GNOME Shell 50 in experimental (according to their metadata.json, I
haven't tested them) but
gnome-shell-extension-disable-workspace-switcher only seems to be
declaring compatibility with versions <= 49, so it has the same issue
that we previously reported in #1132297. We're hoping to do the GNOME
Shell 50 transition soon, so this extension shouldn't migrate to testing
until this is fixed. Based on how simple the code is, the solution might
be as simple as a tweak to the metadata similar to
https://github.com/jbradaric/disable-workspace-switcher/commit/464f09e15d1634f576445acd26202af8c51de97b,
or it might need actual code changes.
Please consider autogenerating each package's dependencies from the
metadata.json, so that they each get a dependency like
gnome-shell (>= 48~), gnome-shell (<< 51~),
or whatever is appropriate for the specific extension. That would let
the GNOME team check at a glance which ones have/haven't been updated for
GNOME 50, and then the same again when it's time for GNOME 51 in
September. There's suitable code to do this in all of the GNOME Team's
extensions, for example gnome-shell-extension-caffeine: look for
gnome:MaximumVersion and gnome:MinimumVersion in the source.
I'm not going to report separate bugs for all your other Shell extension
packages right now, but they'd all benefit from autogenerating the
dependency like that.
Thanks,
smcv
--- End Message ---
--- Begin Message ---
On Wed, 13 May 2026 at 13:52:16 +0100, Simon McVittie wrote:
gnome-shell-extension-disable-workspace-switcher only seems to be
declaring compatibility with versions <= 49
Actually, never mind: it has
https://forgejo.debian.net/gnome/gnome-shell-extension-disable-workspace-switcher/src/branch/debian/debian/patches/debian/0001-gnome-version.patch
which makes it declare compatibility with GNOME 50, so this was a false
positive.
Please consider autogenerating each package's dependencies from the
metadata.json
I wouldn't have made this mistake if the extension had (>=, <<)
dependencies :-)
smcv
--- End Message ---
