[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replace
|
From: |
Vivien Kraus |
|
Subject: |
[bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements |
|
Date: |
Fri, 19 Jan 2024 22:50:31 +0100 |
|
User-agent: |
Evolution 3.48.4 |
Dear guix,
I took the liberty to introduce V-Shell to replace vertical-overview. Your
idea to use Just Perfection worked, and I packaged the fork for NoAnnoyance.
Now we need a solution for Jiggle and Transparent Window, a fix for the
built-in Applications Menu, and a way to deprecate more smoothly Sound Output
Device Chooser and Topicons Redux that are have been made redundant by the
default shell.
Best regards,
Vivien
Vivien Kraus (23):
gnu: gnome-shell-extension-dash-to-dock: Update to 79.
gnu: gnome-shell-extension-just-perfection: Update to 26.0.
gnu: gnome-shell-extension-hide-app-icon: Deprecate.
gnu: gnome-shell-extension-dash-to-panel: Update to 56.
gnu: gnome-shell-extension-unite-shell: Update to 72.
gnu: gnome-shell-extension-appindicator: Update to 53.
gnu: gnome-shell-extension-clipboard-indicator: Update to 47.
gnu: gnome-shell-extensions-customize-ibus: Update to 86.
gnu: gnome-shell-extension-topicons-redux: Update style.
gnu: gnome-shell-extension-gsconnect: Update to 55.
gnu: gnome-shell-extension-blur-my-shell: Update to 47.
gnu: gnome-shell-extension-burn-my-windows: Update to 40.
gnu: gnome-shell-extension-radio: Update to 21.
gnu: Remove gnome-shell-extension-jiggle.
gnu: gnome-shell-extension-night-theme-switcher: Update to 74.
gnu: Add gnome-shell-extension-noannoyance-fork.
gnu: gnome-shell-extension-noannoyance: Deprecate.
gnu: gnome-shell-extension-paperwm: Update to 44.17.0.
gnu: Remove gnome-shell-extension-sound-output-device-chooser.
gnu: Remove gnome-shell-extension-topicons-redux.
gnu: Remove gnome-shell-extension-transparent-window.
gnu: Add gnome-shell-extension-v-shell.
gnu: gnome-shell-extension-vertical-overview: Deprecate.
gnu/packages/gnome-xyz.scm | 653 ++++++++++++++-----------------------
1 file changed, 239 insertions(+), 414 deletions(-)
base-commit: 17c2e26068c5c36eb8ee1ec39a8695ef66f75c55
--
2.41.0
- [bug#68556] [PATCH gnome-team 20/25] gnu: gnome-shell-extension-paperwm: Update to 44.17.0., (continued)
- [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
- [bug#68556] [PATCH gnome-team 18/25] gnu: gnome-shell-extension-noannoyance: Update style., Vivien Kraus, 2024/01/17
- [bug#68556] [PATCH gnome-team 25/25] gnu: Remove gnome-shell-extension-vertical-overview., Vivien Kraus, 2024/01/17
- [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 <=
- [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, 2024/01/19
- [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