Ask Ubuntu is a question and answer site for Ubuntu users and developers. It only takes a minute to sign up.
Sign up to join this community
The big dock on the left. In other versions you could escape Unity Launcher by going to GNOME, what now? GNOME tweaks is not showing it as an extension, even though it looks a lot like Dash to Dock.
I see autohide options in settings, but no way to completely remove it and use the GNOME default.
Edit: I'm not looking for vanilla GNOME, but simply to hide the dock.
Run the following:
cd /usr/share/gnome-shell/extensions/
sudo mv ubuntu-dock@ubuntu.com{,.bak}
Press ALT + F2 and type r in the input.
In case if you need to undo:
cd /usr/share/gnome-shell/extensions/
sudo mv ubuntu-dock@ubuntu.com{.bak,}
Since Ubuntu Dock is a system extension (package name: gnome-shell-extension-ubuntu-dock), it is not possible to simply disable it using GNOME Tweaks or from the GNOME Shell Extensions website.
Removing this package by running
sudo apt remove gnome-shell-extension-ubuntu-dock
should get rid of the dock, but it is not recommended as it will also remove the ubuntu-desktop meta-package which may break stuff later (see this: Is it safe to remove ubuntu-desktop package?).
Arguably a cleaner solution is to use vanilla GNOME (GNOME shell sans modifications made by Ubuntu). In vanilla GNOME, Ubuntu Dock disabled by default.
You may install vanilla GNOME by running
sudo apt install vanilla-gnome-desktop
Once it is installed, reboot (or re-login). Once you get to the GDM login screen you should find a cogwheel (⚙️) next to the sign in button. If you click on the cogwheel you should find options titled "GNOME" and "GNOME on Wayland" along with Ubuntu and Ubuntu on Wayland. Select any of the GNOME options instead of Ubuntu options.
The dock is listed as a built in extension. You can simply go to the built in app "Extensions" and then disable the dock.
It can be also disabled without hacking system files, or removing packages and breaking dependencies.
Using old gnome-shell-extension-tool:
gnome-shell-extension-tool -e ubuntu-dock@ubuntu.com
Or, via new gnome-extensions:
gnome-extensions disable ubuntu-dock@ubuntu.com
In the end, these commands should store configuration in dconf, where dconf dump / outputs something like:
...
[org/gnome/shell]
disabled-extensions=['desktop-icons@csoriano', 'ubuntu-dock@ubuntu.com']
enabled-extensions=['system-monitor@paradoxxx.zero.gmail.com']
...
gnome-extensions disable ubuntu-dock@ubuntu.com worked for me. Thanks! And I guess since it is the system extension, it is the easiest way to disable it without breaking something.
Apr 27, 2020 at 7:28
gnome-shell-extension-tool -d ubuntu-dock@ubuntu.com instead. But even gnome-shell-extension-tool -d ubuntu-dock@ubuntu.com doesn't hide the dock on my standard Ubuntu 18.04 installation. It just toggles the enabled/disabled status for the extension (as seen in GNOME Tweaks, just as in the screenshot in the question), but has no effect on the actual visibility of the dock itself.
gnome-extensions disable ubuntu-dock@ubuntu.com does the trick, no the version with -d in the comment above.
NOTE: If you want to remove it completely delete the /usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com (make backup in case of emergency). Then restart.
You can tweak the dock from dconf-editor. Install it by sudo apt install dconf-tools.
Open dconf-editor and goto org->gnome->shell->extension->dash-to-dock. You can do some tweaks like hiding dock, turn off extending dock etc.
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com folder and restart.
Apr 30, 2018 at 16:26
ubuntu-desktop metpackage, it will get reinstalled every now and then.