[Bug 1832407] Re: Ubuntu's gnome-shell extensions can't be uninstalled (safely)

2022-01-03 Thread Daniel van Vugt
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

[Bug 1832407] Re: Ubuntu's gnome-shell extensions can't be uninstalled (safely)

2022-01-02 Thread Amr Ibrahim
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