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


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

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: 68556 <at> debbugs.gnu.org
Cc: rg <at> raghavgururajan.name, vivien <at> planete-kraus.eu, liliana.prikler <at> gmail.com,
 maxim.cournoyer <at> gmail.com
Subject: [PATCH gnome-team v3 2/7] gnu: gnome-shell-extensions: Propagate
 gnome-menus.
Date: Fri, 19 Jan 2024 23:36:05 +0100
* gnu/packages/gnome.scm (gnome-shell-extensions) [propagated-inputs]: Add gnome-menus.

Change-Id: I6d2582352b499dd7012d3c0642a3cb48ded68e07
---
 gnu/packages/gnome.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 1e08e027c3..1627e7832f 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -10731,7 +10731,8 @@ (define-public gnome-shell-extensions
            gettext-minimal
            pkg-config))
     (propagated-inputs
-     (list glib))
+     ;; gnome-menus is required for the built-in Applications Menu extension.
+     (list glib gnome-menus))
     (synopsis "Extensions for GNOME Shell")
     (description "GNOME Shell extensions modify and extend GNOME Shell
 functionality and behavior.")
-- 
2.41.0




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.