ugr-testing team mailing list archive

Thread
Date

[Bug 1970134] [NEW] gnome-shell-extension-prefs should be deprecated in Jammy

To: ugr-testing@xxxxxxxxxxxxxxxxxxx
From: João Pedro Seara <1970134@xxxxxxxxxxxxxxxxxx>
Date: Sun, 24 Apr 2022 21:14:36 -0000
Reply-to: Bug 1970134 <1970134@xxxxxxxxxxxxxxxxxx>
Sender: noreply@xxxxxxxxxxxxx

Public bug reported:

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

** Affects: gnome-shell-extensions
     Importance: Undecided
         Status: New

** Description changed:

  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
- on this like, per example, "gnome-shell-extensions".
+ to "prefs". Per example, "gnome-shell-extensions".

-- 
You received this bug notification because you are a member of Ubuntu
GNOME Remix: Testing Team, which is subscribed to UGR (Ubuntu Gnome
Remix) Project.
https://bugs.launchpad.net/bugs/1970134

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

Status in GNOME Shell Extensions:
  New

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

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell-extensions/+bug/1970134/+subscriptions