Arch Linux

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

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 Toolybird (Toolybird) - Thursday, 22 December 2022, 05:55 GMT
Task Type General Gripe
Category Packages: Extra
Status Assigned
Assigned To Jan Alexander Steffens (heftig)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 0%
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

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...