[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team v3 5/7] gnu: Remove gnome-shell-extension-
From: |
Liliana Marie Prikler |
Subject: |
[bug#68556] [PATCH gnome-team v3 5/7] gnu: Remove gnome-shell-extension-jiggle. |
Date: |
Sat, 20 Jan 2024 01:41:17 +0100 |
User-agent: |
Evolution 3.46.4 |
Am Mittwoch, dem 17.01.2024 um 23:26 +0100 schrieb Vivien Kraus:
> 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 | 42 ------------------------------------
> --
> 1 file changed, 42 deletions(-)
>
> diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
> index feef78c63a..3cfd87400b 100644
> --- a/gnu/packages/gnome-xyz.scm
> +++ b/gnu/packages/gnome-xyz.scm
> @@ -1103,48 +1103,6 @@ (define-public gnome-shell-extension-vertical-
> overview
> (deprecated-package "gnome-shell-extension-vertical-overview"
> gnome-shell-extension-v-shell))
>
> -(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
> - `(#: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\""))))
For the record, you have tried updating these, before removing the
extension, right?
> - (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")
Cheers
- [bug#68556] [PATCH gnome-team v2 16/23] gnu: Add gnome-shell-extension-noannoyance-fork., (continued)
- [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
- [bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements, Liliana Marie Prikler, 2024/01/19
- [bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant), Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v3 5/7] gnu: Remove gnome-shell-extension-jiggle., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v3 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v3 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v3 1/7] gnu: gnome-menus: Build GObject Introspection data., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v3 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v3 6/7] gnu: Remove gnome-shell-extension-transparent-window., Vivien Kraus, 2024/01/19
- [bug#68556] [PATCH gnome-team v3 2/7] gnu: gnome-shell-extensions: Propagate gnome-menus., Vivien Kraus, 2024/01/19