[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team 12/25] gnu: gnome-shell-extension-burn-my-
From: |
Vivien Kraus |
Subject: |
[bug#68556] [PATCH gnome-team 12/25] gnu: gnome-shell-extension-burn-my-windows: Update to 40. |
Date: |
Wed, 17 Jan 2024 22:57:17 +0100 |
User-agent: |
Evolution 3.48.4 |
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-burn-my-windows): Update
to 40.
[arguments]: Convert to list of G-Expressions.
Change-Id: Ib9551096437aeea0ff56e5e1ea6371ab72d61b02
---
gnu/packages/gnome-xyz.scm | 35 ++++++++++++++++++-----------------
1 file changed, 18 insertions(+), 17 deletions(-)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 3accae4aaf..7f84dc7590 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1173,7 +1173,7 @@ (define-public gnome-shell-extension-jiggle
(define-public gnome-shell-extension-burn-my-windows
(package
(name "gnome-shell-extension-burn-my-windows")
- (version "22")
+ (version "40")
(source
(origin
(method git-fetch)
@@ -1182,25 +1182,26 @@ (define-public gnome-shell-extension-burn-my-windows
(commit (string-append "v" version))))
(sha256
(base32
- "185xrf330d9bflmk0l61cnzlylnppb2v4yz6v6ygkk4zpwyil8np"))
+ "16n6ilszdn67835clqlr4flna69x9k00k5qrm55765dv2ny9jdcq"))
(file-name (git-file-name name version))))
(build-system copy-build-system)
(arguments
- `(#:install-plan
- '(("." ,(string-append
- "share/gnome-shell/extensions/"
- "burn-my-windows@schneegans.github.com")
- #:include-regexp ("\\.js(on)?$" "\\.css$" "\\.ui$" "\\.png$"
- "\\.xml$" "\\.compiled$" "\\.gresource$")))
- #:phases
- (modify-phases %standard-phases
- (add-before 'install 'compile-resources
- (lambda _
- (invoke "make" "resources/burn-my-windows.gresource")))
- (add-before 'install 'compile-schemas
- (lambda _
- (with-directory-excursion "schemas"
- (invoke "glib-compile-schemas" ".")))))))
+ (list
+ #:install-plan
+ #~'(("." #$(string-append
+ "share/gnome-shell/extensions/"
+ "burn-my-windows@schneegans.github.com")
+ #:include-regexp ("\\.js(on)?$" "\\.css$" "\\.ui$" "\\.png$"
+ "\\.xml$" "\\.compiled$" "\\.gresource$")))
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-before 'install 'compile-resources
+ (lambda _
+ (invoke "make" "resources/burn-my-windows.gresource")))
+ (add-before 'install 'compile-schemas
+ (lambda _
+ (with-directory-excursion "schemas"
+ (invoke "glib-compile-schemas" ".")))))))
(native-inputs
(list `(,glib "bin"))) ; for glib-compile-resources
(home-page "https://github.com/Schneegans/Burn-My-Windows")
--
2.41.0
- [bug#68556] [PATCH gnome-team 13/25] gnu: gnome-shell-extension-radio: Update to 21., (continued)
- [bug#68556] [PATCH gnome-team 13/25] gnu: gnome-shell-extension-radio: Update to 21., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 06/25] gnu: gnome-shell-extension-appindicator: Update to 53., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 09/25] gnu: gnome-shell-extension-topicons-redux: Update style., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 07/25] gnu: gnome-shell-extension-clipboard-indicator: Update to 47., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 01/25] gnu: gnome-shell-extension-dash-to-dock: Update to 79., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 14/25] gnu: gnome-shell-extension-jiggle: Update style., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 16/25] gnu: gnome-shell-extension-just-perfection: Update to 26.0., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 15/25] gnu: Remove gnome-shell-extension-jiggle., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 08/25] gnu: gnome-shell-extensions-customize-ibus: Update to 86., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 02/25] gnu: gnome-shell-extension-hide-app-icon: Modernize style., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 12/25] gnu: gnome-shell-extension-burn-my-windows: Update to 40.,
Vivien Kraus <=
- [bug#68556] [PATCH gnome-team 24/25] gnu: gnome-shell-extension-vertical-overview: Update style., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 20/25] gnu: gnome-shell-extension-paperwm: Update to 44.17.0., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 11/25] gnu: gnome-shell-extension-blur-my-shell: Update to 47., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 21/25] gnu: Remove gnome-shell-extension-sound-output-device-chooser., Vivien Kraus, 2024/01/17
- [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