GNU bug report logs - #60148
[PATCH] gnu: gnome-shell-extension: Update to 20

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 60148 in the body.
You can then email your comments to 60148 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Sughosha <Sughosha <at> proton.me>
To: "guix-patches <at> gnu.org" <guix-patches <at> gnu.org>
Subject: [PATCH] gnu: gnome-shell-extension: Update to 20
Date: Sat, 17 Dec 2022 05:56:46 +0000

* gnu/packages/gnome-xyz.scm (gnome-shell-extension-radio): Update to 20.
---
 gnu/packages/gnome-xyz.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 8be9c55..2e3dcc1 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1093,17 +1093,17 @@ GNOME Shell, including the top panel, dash and overview.")
 (define-public gnome-shell-extension-radio
   (package
     (name "gnome-shell-extension-radio")
-    (version "19")
+    (version "20")
     (source (origin
               (method git-fetch)
               (uri (git-reference
                     (url
                      "https://github.com/hslbck/gnome-shell-extension-radio")
                     (commit (string-append "v" version))))
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "1qsi6c57hxh4jqdw18knm06601lhag6jdbvzg0r79aa9572zy8a0"))))
+                "01dmziad9g7bs3hr59aaz3mivkc6rqfyb9bz2v202zk22vcr5a2y"))))
     (build-system copy-build-system)
     (arguments
      (list
--
libgit2 1.4.3

Message #8 received at 60148 <at> debbugs.gnu.org (full text, mbox):

From: Sughosha <Sughosha <at> proton.me>
To: "60148 <at> debbugs.gnu.org" <60148 <at> debbugs.gnu.org>
Subject: (No Subject)
Date: Wed, 21 Dec 2022 13:03:17 +0000

Oops, sorry for wrong subject.

Message #11 received at 60148 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Sughosha <Sughosha <at> proton.me>, 60148 <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: gnome-shell-extension: Update to 20
Date: Sat, 24 Dec 2022 07:35:14 +0100

Am Samstag, dem 17.12.2022 um 05:56 +0000 schrieb Sughosha:
> * gnu/packages/gnome-xyz.scm (gnome-shell-extension-radio): Update to
> 20.
I tried this in a VM and it warned me about a version incompatibility.

Cheers

Message #14 received at 60148 <at> debbugs.gnu.org (full text, mbox):

From: Sughosha <Sughosha <at> proton.me>
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Cc: 60148 <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: gnome-shell-extension: Update to 20
Date: Sat, 24 Dec 2022 23:20:44 +0000

It seems the developer released it for GNOME 43 (https://github.com/hslbck/gnome-shell-extension-radio/blob/1233305a9f186732fb2d44bf574751e744ca36e7/radio%40hslbck.gmail.com/metadata.json#L2), but for me it is working fine with `gsettings set org.gnome.shell disable-extension-version-validation false`. The version currently available in Guix (v19) is anyways broken, so I would recommend updating it.

Regards,
Sughosha

------- Original Message -------
Liliana Marie Prikler <liliana.prikler <at> gmail.com> schrieb am Samstag, 24. Dezember 2022 um 07:35:


> Am Samstag, dem 17.12.2022 um 05:56 +0000 schrieb Sughosha:
> 
> > * gnu/packages/gnome-xyz.scm (gnome-shell-extension-radio): Update to
> > 20.
> 
> I tried this in a VM and it warned me about a version incompatibility.
> 
> Cheers

Message #17 received at 60148 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Sughosha <Sughosha <at> proton.me>
Cc: 60148 <at> debbugs.gnu.org, Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Subject: Re: bug#60148: [PATCH] gnu: gnome-shell-extension: Update to 20
Date: Tue, 17 Jan 2023 15:55:59 +0100

Hi,

Sughosha <Sughosha <at> proton.me> skribis:

> It seems the developer released it for GNOME 43 (https://github.com/hslbck/gnome-shell-extension-radio/blob/1233305a9f186732fb2d44bf574751e744ca36e7/radio%40hslbck.gmail.com/metadata.json#L2), but for me it is working fine with `gsettings set org.gnome.shell disable-extension-version-validation false`. The version currently available in Guix (v19) is anyways broken, so I would recommend updating it.

[...]

> Liliana Marie Prikler <liliana.prikler <at> gmail.com> schrieb am Samstag, 24. Dezember 2022 um 07:35:

[...]

>> I tried this in a VM and it warned me about a version incompatibility.

Liliana, what would you suggest?  If the currently-packaged version is
already “broken”, then maybe we should apply this upgrade?

TIA,
Ludo’.

Message #20 received at 60148 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>, Sughosha
 <Sughosha <at> proton.me>
Cc: 60148 <at> debbugs.gnu.org
Subject: Re: bug#60148: [PATCH] gnu: gnome-shell-extension: Update to 20
Date: Tue, 17 Jan 2023 20:57:59 +0100

Am Dienstag, dem 17.01.2023 um 15:55 +0100 schrieb Ludovic Courtès:
> Hi,
> 
> Sughosha <Sughosha <at> proton.me> skribis:
> 
> > It seems the developer released it for GNOME 43
> > (https://github.com/hslbck/gnome-shell-extension-radio/blob/1233305
> > a9f186732fb2d44bf574751e744ca36e7/radio%40hslbck.gmail.com/metadata
> > .json#L2), but for me it is working fine with `gsettings set
> > org.gnome.shell disable-extension-version-validation false`. The
> > version currently available in Guix (v19) is anyways broken, so I
> > would recommend updating it.
> 
> [...]
> 
> > Liliana Marie Prikler <liliana.prikler <at> gmail.com> schrieb am
> > Samstag, 24. Dezember 2022 um 07:35:
> 
> [...]
> 
> > > I tried this in a VM and it warned me about a version
> > > incompatibility.
> 
> Liliana, what would you suggest?  If the currently-packaged version
> is already “broken”, then maybe we should apply this upgrade?
Fair enough, since it will eventually not be flagged as incompatible
once we bump gnome-shell, that should probably be fine.  The commit
message does need fixing, however.

I'm currently fighting webkit, but I'll try pushing this on Sunday.

Cheers

Message #25 received at 60148-done <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>, Sughosha
 <Sughosha <at> proton.me>
Cc: 60148-done <at> debbugs.gnu.org
Subject: Re: bug#60148: [PATCH] gnu: gnome-shell-extension: Update to 20
Date: Sun, 22 Jan 2023 10:11:41 +0100

Am Dienstag, dem 17.01.2023 um 20:57 +0100 schrieb Liliana Marie
Prikler:
> I'm currently fighting webkit, but I'll try pushing this on Sunday.
Veni, vidi, pushed after over a month.

Cheers

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.