[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team v2 04/23] gnu: gnome-shell-extension-dash-
|
From: |
Vivien Kraus |
|
Subject: |
[bug#68556] [PATCH gnome-team v2 04/23] gnu: gnome-shell-extension-dash-to-panel: Update to 56. |
|
Date: |
Tue, 16 Jan 2024 22:31:43 +0100 |
|
User-agent: |
Evolution 3.48.4 |
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): Update to
56.
[arguments]: Convert to list of G-Expressions.
[native-inputs]: Add `(,glib "bin").
[propagated-inputs]: Remove `(,glib "bin").
Change-Id: I24a83766b750feb1004bbaf2f5badc9e21f1c30e
---
gnu/packages/gnome-xyz.scm | 30 ++++++++++++++++--------------
1 file changed, 16 insertions(+), 14 deletions(-)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index c278f47263..1d204e9b6a 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -910,7 +910,7 @@ (define-public gnome-shell-extension-just-perfection
(define-public gnome-shell-extension-dash-to-panel
(package
(name "gnome-shell-extension-dash-to-panel")
- (version "56")
+ (version "56") ;Compatible with GNOME 44
(source (origin
(method git-fetch)
(uri (git-reference
@@ -922,22 +922,24 @@ (define-public gnome-shell-extension-dash-to-panel
(file-name (git-file-name name version))))
(build-system gnu-build-system)
(arguments
- `(#:tests? #f
- #:make-flags (list (string-append "INSTALLBASE="
- (assoc-ref %outputs "out")
- "/share/gnome-shell/extensions")
- (string-append "VERSION="
- ,(package-version
-
gnome-shell-extension-dash-to-panel)))
+ (list
+ #:tests? #f
+ #:make-flags #~(list (string-append "INSTALLBASE="
+ #$output
+ "/share/gnome-shell/extensions")
+ (string-append "VERSION="
+ #$version))
#:phases
- (modify-phases %standard-phases
- (delete 'bootstrap)
- (delete 'configure))))
+ #~(modify-phases %standard-phases
+ (delete 'bootstrap)
+ (delete 'configure))))
(native-inputs
- (list intltool pkg-config))
+ (list
+ `(,glib "bin")
+ intltool
+ pkg-config))
(propagated-inputs
- (list glib
- `(,glib "bin")))
+ (list glib))
(synopsis "Icon taskbar for GNOME Shell")
(description "This extension moves the dash into the gnome main
panel so that the application launchers and system tray are combined
--
2.41.0
- [bug#68556] [PATCH gnome-team 18/25] gnu: gnome-shell-extension-noannoyance: Update style., (continued)
- [bug#68556] [PATCH gnome-team 18/25] gnu: gnome-shell-extension-noannoyance: Update style., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 25/25] gnu: Remove gnome-shell-extension-vertical-overview., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 10/25] gnu: gnome-shell-extension-gsconnect: Update to 55., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 19/25] gnu: Remove gnome-shell-extension-noannoyance., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 17/25] gnu: gnome-shell-extension-night-theme-switcher: Update to 74., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 22/25] gnu: Remove gnome-shell-extension-topicons-redux., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 23/25] gnu: Remove gnome-shell-extension-transparent-window., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements, Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 02/23] gnu: gnome-shell-extension-just-perfection: Update to 26.0., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 11/23] gnu: gnome-shell-extension-blur-my-shell: Update to 47., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 04/23] gnu: gnome-shell-extension-dash-to-panel: Update to 56.,
Vivien Kraus <=
- [bug#68556] [PATCH gnome-team v2 10/23] gnu: gnome-shell-extension-gsconnect: Update to 55., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-app-icon: Deprecate., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 05/23] gnu: gnome-shell-extension-unite-shell: Update to 72., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 12/23] gnu: gnome-shell-extension-burn-my-windows: Update to 40., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 13/23] gnu: gnome-shell-extension-radio: Update to 21., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 14/23] gnu: Remove gnome-shell-extension-jiggle., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 21/23] gnu: Remove gnome-shell-extension-transparent-window., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 18/23] gnu: gnome-shell-extension-paperwm: Update to 44.17.0., Vivien Kraus, 2024/01/19