Although it is now installed automatically if you install gnome-tweaks
(bug 1868932).

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1870830

Title:
  gnome-shell-extension-prefs not installed with base GNOME Shell
  installation

Status in gnome-shell package in Ubuntu:
  Opinion

Bug description:
  This package is required for access to the settings dialog for any
  Gnome Shell extension, which will throw an error without it. It is no
  longer installed in 20.04 by default and has to be manually installed
  by the user, but I believe it should be installed by default.

  Here are some relevant discussions:
  https://www.reddit.com/r/Ubuntu/comments/fql7zz/ubuntu_2004_gnome_extensions/

  https://bugs.launchpad.net/ubuntu/focal/+source/gnome-shell-extension-
  dash-to-panel/+bug/1866070/comments/3

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

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to     : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp

Reply via email to