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: 68556 <at> debbugs.gnu.org
Cc: rg <at> raghavgururajan.name, liliana.prikler <at> gmail.com, maxim.cournoyer <at> gmail.com
Subject: [bug#68556] [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-app-icon: Deprecate.
Date: Fri, 19 Jan 2024 23:20:46 +0100

Le mercredi 17 janvier 2024 à 17:20 +0100, Vivien Kraus a écrit :
> +  (deprecated-package "gnome-shell-extension-hide-app-icon"
> +                      gnome-shell-extension-just-perfection))
>  
>  (define-public gnome-shell-extension-just-perfection
>    (package

There’s a mishap here: you have to swap the order of gnome-shell-
extension-hide-app-icon and gnome-shell-extension-just-perfection in
the file.

Sorry.

Vivien
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.