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