I agree this should be fixed, but it's also not a priority. You can
disable them in the Extensions app (sudo apt install gnome-shell-
extension-prefs).
** Description changed:
I like the Ubuntu themed GNOME desktop but I don't like dash-to-dock.
- As the preinstalled extensions, especially gnome-shell-extension-ubuntu-dock
are not deactivable and not removable atomic (they are hard dependcies of
ubuntu-desktop), the only way to remove them is to rename the extensions
folder. This will also restore the dock with every update of the
gnome-shell-extension-ubuntu-dock package, as it creates this folder.
+ As the pre-installed extensions, especially gnome-shell-extension-ubuntu-dock
are not atomically removable (they are hard dependencies of ubuntu-desktop),
the only way to remove them is to rename the extensions folder. This will also
restore the dock with every update of the gnome-shell-extension-ubuntu-dock
package, as it creates this folder.
- Therfore, we should remove the hard dependcies.
+ Therefore, we should remove the hard dependencies.
** Changed in: ubuntu-meta (Ubuntu)
Importance: Medium => Low
** Changed in: ubuntu-meta (Ubuntu)
Status: Confirmed => Triaged
** Tags added: jammy
** Tags removed: groovy
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1832407
Title:
Ubuntu's gnome-shell extensions can't be uninstalled (safely)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-meta/+bug/1832407/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs