[PATCH] gnu: gnome-shell-extension: Update to 20

  • Done
  • quality assurance status badge
Details
3 participants
  • Sughosha
  • Liliana Marie Prikler
  • Ludovic Courtès
Owner
unassigned
Submitted by
Sughosha
Severity
normal
S
S
Sughosha wrote on 17 Dec 2022 06:56
(name . guix-patches@gnu.org)(address . guix-patches@gnu.org)
PUx7vvviays7pWsamqKlVmojRWXsZ5YL_-5C5Wx6QrXFqGUf2Sxvkn2FVU5elPenD6WQGVjpiOTcFX89XAntufHg5cEyF2WuQoPrvMJixyQ=@proton.me
* 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(-)

Toggle diff (24 lines)
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
S
S
Sughosha wrote on 21 Dec 2022 14:03
(No Subject)
(name . 60148@debbugs.gnu.org)(address . 60148@debbugs.gnu.org)
hpb0ICDifcFC8RLS5khO40iIMwgXObNYBC-HFI-xSZQ8f3eoSUgjnKIXTGYcfft7qUKCmurSX1gIqpztgUuCc7tR2-k2pr3V7Gn7i5vQ1JU=@proton.me
Oops, sorry for wrong subject.
L
L
Liliana Marie Prikler wrote on 24 Dec 2022 07:35
Re: [PATCH] gnu: gnome-shell-extension: Update to 20
549be5dbda15e50371a52fc679efd1863c2f44c2.camel@gmail.com
Am Samstag, dem 17.12.2022 um 05:56 +0000 schrieb Sughosha:
Toggle quote (2 lines)
> * 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
S
S
Sughosha wrote on 25 Dec 2022 00:20
(name . Liliana Marie Prikler)(address . liliana.prikler@gmail.com)(address . 60148@debbugs.gnu.org)
X3LtXijIRVGs-7QcHgg6HG574dhHuqwpdq0N2SNcQ7RuS4TehzXIDhU6l-w0yCPjqU6tXzOoawHZkbqMFCaxh0CzTr_5hypx5qOnJE9Q6OY=@proton.me
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@gmail.com> schrieb am Samstag, 24. Dezember 2022 um 07:35:


Toggle quote (8 lines)
> 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
L
L
Ludovic Courtès wrote on 17 Jan 2023 15:55
Re: bug#60148: [PATCH] gnu: gnome-shell-extension: Update to 20
(name . Sughosha)(address . Sughosha@proton.me)
87k01lgqgw.fsf_-_@gnu.org
Hi,

Sughosha <Sughosha@proton.me> skribis:

Toggle quote (2 lines)
> 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.

[...]

Toggle quote (2 lines)
> Liliana Marie Prikler <liliana.prikler@gmail.com> schrieb am Samstag, 24. Dezember 2022 um 07:35:

[...]

Toggle quote (2 lines)
>> 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’.
L
L
Liliana Marie Prikler wrote on 17 Jan 2023 20:57
(address . 60148@debbugs.gnu.org)
1e4a84e53993ca00bb4a434b6cfc518246a41e8e.camel@gmail.com
Am Dienstag, dem 17.01.2023 um 15:55 +0100 schrieb Ludovic Courtès:
Toggle quote (24 lines)
> Hi,
>
> Sughosha <Sughosha@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@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
L
L
Liliana Marie Prikler wrote on 22 Jan 2023 10:11
(address . 60148-done@debbugs.gnu.org)
6a376bf6fd65469219fe34b29cd64a5b0c6b62d1.camel@gmail.com
Am Dienstag, dem 17.01.2023 um 20:57 +0100 schrieb Liliana Marie
Prikler:
Toggle quote (1 lines)
> I'm currently fighting webkit, but I'll try pushing this on Sunday.
Veni, vidi, pushed after over a month.

Cheers
Closed
?