[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team 15/25] gnu: Remove gnome-shell-extension-j
From: |
Vivien Kraus |
Subject: |
[bug#68556] [PATCH gnome-team 15/25] gnu: Remove gnome-shell-extension-jiggle. |
Date: |
Wed, 17 Jan 2024 23:26:28 +0100 |
User-agent: |
Evolution 3.48.4 |
This extension has not been made compatible with GNOME 44.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-jiggle): Remove variable.
Change-Id: I9afa9c2fe110ba883524eb9ca9acab42fbdd8f00
---
gnu/packages/gnome-xyz.scm | 43 --------------------------------------
1 file changed, 43 deletions(-)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index e6ca29cd63..383d2d69b6 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1128,49 +1128,6 @@ (define-public gnome-shell-extension-vertical-overview
style.")
(license license:gpl3)))
-(define-public gnome-shell-extension-jiggle
- (package
- (name "gnome-shell-extension-jiggle")
- (version "8")
- (source
- (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/jeffchannell/jiggle/")
- (commit version)))
- (sha256
- (base32
- "1wbdx2bp22bdwj51ckgivwglkmckr7z8kfwvc8nv4y376hjz5jxz"))
- (file-name (git-file-name name version))
- (snippet
- '(begin (delete-file "schemas/gschemas.compiled")))))
- (build-system copy-build-system)
- (arguments
- (list
- #:install-plan
- #~'(("." #$(string-append
- "share/gnome-shell/extensions/"
- "jiggle@jeffchannell.com")
- #:include-regexp ("\\.js(on)?$" "\\.css$" "\\.ui$" "\\.png$"
- "\\.xml$" "\\.compiled$")))
- #:phases
- #~(modify-phases %standard-phases
- (add-after 'unpack 'fix-version
- (lambda _
- (substitute* "metadata.json"
- (("\"40.0\"") "\"40\", \"41\""))))
- (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/jeffchannell/jiggle")
- (synopsis "Mouse cursor enlargement for small and fast movements")
- (description "Jiggle is a Gnome Shell extension that highlights the cursor
-position when the mouse is moved rapidly.")
- (license license:gpl2)))
-
(define-public gnome-shell-extension-burn-my-windows
(package
(name "gnome-shell-extension-burn-my-windows")
--
2.41.0
- [bug#68556] [PATCH gnome-team 03/25] gnu: Remove gnome-shell-extension-hide-app-icon., (continued)
- [bug#68556] [PATCH gnome-team 03/25] gnu: Remove gnome-shell-extension-hide-app-icon., Vivien Kraus, 2024/01/17
- [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 <=
- [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, 2024/01/17
- [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