[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-
From: |
Vivien Kraus |
Subject: |
[bug#68556] [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-app-icon: Deprecate. |
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. However, Just Perfection seems to have an option to hide application
icons.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-hide-app-icon): Deprecate
in favor of gnome-shell-extension-hide-app-icon.
Change-Id: I6af14b6c9e1db7176d9be6bec2b90f77e7db36c1
---
gnu/packages/gnome-xyz.scm | 48 ++------------------------------------
1 file changed, 2 insertions(+), 46 deletions(-)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 1ba5162597..c278f47263 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -852,52 +852,8 @@ (define-public gnome-shell-extension-gsconnect
(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
- '(#:tests? #f ; no test target
- #:make-flags (list (string-append "EXTENSIONS_DIR="
- (assoc-ref %outputs "out")
- "/share/gnome-shell/extensions"))
- #:phases
- (modify-phases %standard-phases
- (delete 'configure) ; no configure script
- (replace 'install
- (lambda* (#:key outputs #:allow-other-keys)
- (let ((out (assoc-ref outputs "out"))
- (pre "/share/gnome-shell/extensions/")
- (dir "hide-app-icon@mrapp.sourceforge.com"))
- (copy-recursively dir (string-append out pre dir))
- #t))))))
- (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)))))
+ (deprecated-package "gnome-shell-extension-hide-app-icon"
+ gnome-shell-extension-just-perfection))
(define-public gnome-shell-extension-just-perfection
(package
--
2.41.0
- [bug#68556] [PATCH gnome-team 10/25] gnu: gnome-shell-extension-gsconnect: Update to 55., (continued)
- [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, 2024/01/19
- [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 <=
- [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
- [bug#68556] [PATCH gnome-team v2 01/23] gnu: gnome-shell-extension-dash-to-dock: Update to 79., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 07/23] gnu: gnome-shell-extension-clipboard-indicator: Update to 47., Vivien Kraus, 2024/01/19