FS#76900 - [gnome-shell] Split GNOME Shell and Extensions app

Attached to Project: Arch Linux
Opened by Philip Goto (flipflop97) - Wednesday, 21 December 2022, 12:18 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:27 GMT
Task Type General Gripe
Category Packages: Extra
Status Closed
Assigned To Jan Alexander Steffens (heftig)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

The extensions app is developed in the same repo as gnome shell and is bundled in the same package. This app is however not necessary to run GNOME Shell and is often split out in a separate package in other distributions. There is also another app (https://aur.archlinux.org/packages/extension-manager) which acts as a more extensive replacement for the bundles Extensions app. It would be useful to be able to uninstall the bundled Extensions app but keep GNOME Shell installed.
This task depends upon

Closed by  Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:27 GMT
Reason for closing:  Moved
Additional comments about closing:  https://gitlab.archlinux.org/archlinux/p ackaging/packages/gnome-shell/issues/1
Comment by Toolybird (Toolybird) - Thursday, 22 December 2022, 05:54 GMT
The justification here is not strong. Both apps can apparently be installed together. Arch philosophy WRT splitting pkgs is different to "other distributions". This seems like unnecessary work for little benefit.

Loading...