[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team v2 23/23] gnu: gnome-shell-extension-verti
From: |
Vivien Kraus |
Subject: |
[bug#68556] [PATCH gnome-team v2 23/23] gnu: gnome-shell-extension-vertical-overview: Deprecate. |
Date: |
Thu, 18 Jan 2024 19:19:26 +0100 |
User-agent: |
Evolution 3.48.4 |
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-vertical-overview):
Replace with gnome-shell-extension-v-shell.
Change-Id: I1c6539fd6532046f8445ee33b286645b9e68a053
---
gnu/packages/gnome-xyz.scm | 39 ++------------------------------------
1 file changed, 2 insertions(+), 37 deletions(-)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index bc1f3dd51f..71069540dd 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1100,43 +1100,8 @@ (define-public gnome-shell-extension-v-shell
(license license:gpl3)))
(define-public gnome-shell-extension-vertical-overview
- (package
- (name "gnome-shell-extension-vertical-overview")
- (version "10")
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/RensAlthuis/vertical-overview")
- (commit (string-append "v" version))))
- (sha256
- (base32
- "1sqkbg93qqrq47wyfnh2flg7dpsmv5c2pmkx8kgqhnbl7j2kgi0l"))
- (file-name (git-file-name name version))
- (snippet
- '(begin (delete-file "schemas/gschemas.compiled")))))
- (build-system copy-build-system)
- (arguments
- `(#:install-plan
- '(("." ,(string-append
- "share/gnome-shell/extensions/"
- "vertical-overview@RensAlthuis.github.com")
- #:include-regexp ("\\.js(on)?$" "\\.css$" "\\.ui$" "\\.png$"
- "\\.xml$" "\\.compiled$")))
- #:phases
- (modify-phases %standard-phases
- (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/RensAlthuis/vertical-overview")
- (synopsis "Provides a vertical overview in Gnome 40 and upper")
- (description "This Gnome extension replaces the new horizontally oriented
-Gnome overview with something that resembles the old vertically oriented
-style.")
- (license license:gpl3)))
+ (deprecated-package "gnome-shell-extension-vertical-overview"
+ gnome-shell-extension-v-shell))
(define-public gnome-shell-extension-burn-my-windows
(package
--
2.41.0
- [bug#68556] [PATCH gnome-team v2 12/23] gnu: gnome-shell-extension-burn-my-windows: Update to 40., (continued)
- [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
- [bug#68556] [PATCH gnome-team v2 22/23] gnu: Add gnome-shell-extension-v-shell., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 17/23] gnu: gnome-shell-extension-noannoyance: Deprecate., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v2 23/23] gnu: gnome-shell-extension-vertical-overview: Deprecate.,
Vivien Kraus <=
- [bug#68556] [PATCH gnome-team v2 16/23] gnu: Add gnome-shell-extension-noannoyance-fork., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 20/23] gnu: Remove gnome-shell-extension-topicons-redux., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 06/23] gnu: gnome-shell-extension-appindicator: Update to 53., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 15/23] gnu: gnome-shell-extension-night-theme-switcher: Update to 74., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 08/23] gnu: gnome-shell-extensions-customize-ibus: Update to 86., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 19/23] gnu: Remove gnome-shell-extension-sound-output-device-chooser., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 09/23] gnu: gnome-shell-extension-topicons-redux: Update style., Vivien Kraus, 2024/01/19