Ubuntu's gnome-shell extensions can't be uninstalled (safely)

[Björn Daase]

I like the Ubuntu themed GNOME desktop but I don't like dash-to-dock.
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.

Therefore, we should remove the hard dependencies.

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.

[Amr Ibrahim (amribrahim1987)]

Please move

- gnome-shell-extension-appindicator,
- gnome-shell-extension-desktop-icons-ng,
- gnome-shell-extension-ubuntu-dock

from depends to recommends in ubuntu-desktop-minimal and ubuntu-desktop.

Those extensions are not a must for gnome-shell to function, and recommends is sufficient to be installed by default.

[Daniel van Vugt (vanvugt)]

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