GNOME Shell Extensions

gnome-shell-extension-prefs should be deprecated in Jammy

Bug #1970134 reported by João Pedro Seara
10
This bug affects 2 people
Affects Status Importance Assigned to Milestone
GNOME Shell Extensions
New
Undecided
Unassigned

Bug Description

Since upgrading to Jammy, I've noticed that we have available the package "gnome-shell-extension-manager" which does everything "gnome-shell-extension-prefs" does, plus it allows to do extension installations.

Not only should "gnome-shell-extension-prefs" be deprecated (because we now have two similar apps with two similar icons doing almost the same thing), we should also remove some dependencies that other packages have to "prefs". Per example, "gnome-shell-extensions".

See original description
João Pedro Seara (jpseara)
description: updated
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.