[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team 03/25] gnu: Remove gnome-shell-extension-h
|
From: |
Vivien Kraus |
|
Subject: |
[bug#68556] [PATCH gnome-team 03/25] gnu: Remove gnome-shell-extension-hide-app-icon. |
|
Date: |
Wed, 17 Jan 2024 17:20:41 +0100 |
|
User-agent: |
Evolution 3.48.4 |
This extension does not work with GNOME 44, and has not received any work.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-hide-app-icon): Remove
variable.
Change-Id: I6af14b6c9e1db7176d9be6bec2b90f77e7db36c1
---
gnu/packages/gnome-xyz.scm | 47 --------------------------------------
1 file changed, 47 deletions(-)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 2488e93eb9..d96cf953c6 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -851,53 +851,6 @@ (define-public gnome-shell-extension-gsconnect
control.")
(license license:gpl2)))
-(define-public gnome-shell-extension-hide-app-icon
- (let ((commit "4188aa5f4ba24901a053a0c3eb0d83baa8625eab")
- (revision "0"))
- (package
- (name "gnome-shell-extension-hide-app-icon")
- (version (git-version "2.7" revision commit))
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url (string-append "https://github.com/michael-rapp"
- "/gnome-shell-extension-hide-app-icon.git"))
- (commit commit)))
- (sha256
- (base32
- "1i28n4bz6wrhn07vpxkr6l1ljyn7g8frp5xrr11z3z32h2hxxcd6"))
- (file-name (git-file-name name version))))
- (build-system gnu-build-system)
- (arguments
- (list
- #:tests? #f ; no test target
- #:make-flags #~(list (string-append "EXTENSIONS_DIR="
- #$output
- "/share/gnome-shell/extensions"))
- #:phases
- #~(modify-phases %standard-phases
- (delete 'configure) ; no configure script
- (replace 'install
- (lambda _
- (let ((pre "/share/gnome-shell/extensions/")
- (dir "hide-app-icon@mrapp.sourceforge.com"))
- (copy-recursively dir (string-append #$output pre dir))))))))
- (native-inputs
- (list `(,glib "bin") intltool))
- (propagated-inputs
- (list glib))
- (synopsis "Hide app icon from GNOME's panel")
- (description "This extension hides the icon and/or title of the
-currently focused application in the top panel of the GNOME shell.")
- (home-page
- "https://github.com/michael-rapp/gnome-shell-extension-hide-app-icon/")
- (license
- ;; README.md and LICENSE.txt disagree -- the former claims v3, the
- ;; latter v2. No mention of "or later" in either place or in the code.
- (list license:gpl2
- license:gpl3)))))
-
(define-public gnome-shell-extension-just-perfection
(package
(name "gnome-shell-extension-just-perfection")
--
2.41.0
- [bug#68556] [PATCH gnome-team 00/25] Update the GNOME Shell extensions, Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 03/25] gnu: Remove gnome-shell-extension-hide-app-icon.,
Vivien Kraus <=
- [bug#68556] [PATCH gnome-team 04/25] gnu: gnome-shell-extension-dash-to-panel: Update to 56., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 05/25] gnu: gnome-shell-extension-unite-shell: Update to 72., Vivien Kraus, 2024/01/17
- [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