[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: |
Vivien Kraus |
|
Subject: |
[bug#68556] [PATCH gnome-team v3 5/7] gnu: Remove gnome-shell-extension-jiggle. |
|
Date: |
Sat, 20 Jan 2024 01:53:45 +0100 |
|
User-agent: |
Evolution 3.48.4 |
Le samedi 20 janvier 2024 à 01:41 +0100, Liliana Marie Prikler a
écrit :
> > - (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?
I had not; but now I did and they do not do their job at all.
- [bug#68556] [PATCH gnome-team v2 20/23] gnu: Remove gnome-shell-extension-topicons-redux., (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 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
[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), Liliana Marie Prikler, 2024/01/19