2021-09-15
I finally got around to figuring out how to remove the side dock on Ubuntu. In case the link where I found it rots away (or is drowned out in the search index) and I want to revert I'll note it down here too.
cd /usr/share/gnome-shell/extensions/
sudo mv ubuntu-dock@ubuntu.com{,.bak}
That means I've just renamed a file so that the Gnome Shell doesn't find it. Restoring the dock is just a matter of removing the .bak suffix.
-- CC0 Björn Wärmedal