I've been told people on this website enjoy me trying to think through computer problems out loud while in incredible pain, so good news: I'm taking my new Thinkpad T14 (https://mastodon.social/@mcc/111218408629532857) out of the box and I'm going to install Linux on it first thing. So expect a LOT of complaining.
@mcc idk where this stands in >20.xx, but Ubuntu shipped its own customized version of the Dash to Dock addon for Gnome; if you're using the regular one or something similar you can just turn the other one off using the gnome shell extensions web UI, iirc https://extensions.gnome.org/
Yeah I see what you're saying; what happens is Dash to Panel makes Ubuntu Dock hide initially, but if you relogin or change the settings, Ubuntu Dock reappears.
Looks like there's a native settings app Extensions now (apt package gnome-shell-extension-prefs) that replaces the old web-based settings stuff I linked.
You can just use it to turn off Ubuntu Dock; It seems like Dash to Panel incorporates all of the same functionality
@mcc the dash is the bar of favourite/running applications that, in stock gnome, only appears in the activities overview, the screen you get when you click activities or press windows/super. https://en.m.wikipedia.org/wiki/GNOME_Shell#Design_components In stock gnome there is nothing like a taskbar or dock on the normal screen. To read between the lines, Ubuntu want their stock system to look like their old Unity UI, which is why they ship a dock extension by default.
@mcc And the activities overview is still activities overview. Yeah, I don't see it in the key bindings list either, its key binding must be hardcoded. if you want to invoke it with a command, suitable for putting in a custom keyboard shortcut, I think you have to send a dbus message https://askubuntu.com/a/1459422/10960
@mcc okay, strictly speaking the setting is not hardcoded, it's a config setting of the mutter wm, org.gnome.mutter overlay-key, which you can set with gsettings or dconf-editor or similar https://askubuntu.com/a/850202/10960
gods I hate it when an enormous tech company registers additional domains outside of their extremely well-known official website and then just randomly you're being asked to log in to "corporation online dot com" from an email as if they're trying to convince anyone who pays any attention at all that it's a phish