This request is superseded by
request 800947
(Show diff)
Overview
Request 800857 superseded
Move gnome-extensions to seperate package
- Created by hellcp
- In state superseded
- Superseded by 800947
- Open review for gnome-maintainers
Loading...
Request History
hellcp created request
Move gnome-extensions to seperate package
gnome-review-bot accepted review
Check script succeeded
I'm missing kind of justification for that split. We save 300k on a standard install, at the cost of angry users that can't follow tutorials about how to enable extensions.
What benefit is there from this split?
gnome-software allows for uninstalling the package, which causes the entire gnome-shell to uninstall
Apropos: a good changelog anders 4WH