GNU bug report logs - #68556
[PATCH gnome-team 00/25] Update the GNOME Shell extensions

Previous Next

Package: guix-patches;

Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>

Date: Wed, 17 Jan 2024 23:13:01 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>, 68556 <at> debbugs.gnu.org
Cc: rg <at> raghavgururajan.name, maxim.cournoyer <at> gmail.com
Subject: [bug#68556] [PATCH gnome-team v3 5/7] gnu: Remove gnome-shell-extension-jiggle.
Date: Sat, 20 Jan 2024 01:53:45 +0100

Le samedi 20 janvier 2024 à 01:41 +0100, Liliana Marie Prikler a
écrit :
> > -         (add-after 'unpack 'fix-version
> > -           (lambda _
> > -             (substitute* "metadata.json"
> > -               (("\"40.0\"") "\"40\", \"41\""))))
> For the record, you have tried updating these, before removing the
> extension, right?

I had not; but now I did and they do not do their job at all.
This bug report was last modified 1 year and 108 days ago.

Previous Next

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