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 gnom
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
2 matches
Mail list logo