24

I want to completely hide the dock in 17.10. Not just when overlapped but always. I have tried many extensions but nothing works and the most promising looking extension didn't even exist. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/

Note: My UI is only windows and wallpaper. Nothing else shall be allowed to consume my precious pixels

  • Which is the most promising extension which did not even exist? – Videonauth Nov 24 '17 at 7:32
  • 1
    You have tweaks installed? If yes check for ubuntu-dock extension it should be switched to on IRRC, try to turn that off. – Videonauth Nov 24 '17 at 7:35
  • Already shut that machine off. I'll check in the morning. – pcnate Nov 24 '17 at 7:46
  • Ping me when you checked it with the results. – Videonauth Nov 24 '17 at 7:53
18

You can use the following extension to completely hide the Dock: https://extensions.gnome.org/extension/307/dash-to-dock/

With this extension, you will be able to hide the dock but keep the dock-specific shortcuts available. To do that, enable the extension, go into its settings and do the following:

  • Enable the Intelligent autohide option under the Position and size tab.
  • Click on the "Gear" (⚙) icon next to the On/Off switch of the Intelligent autohide option for more settings.
  • In the new dialog window, disable both options, Autohide and Dodge Windows.
    Disabled Dock
    • Disabling autohide will keep the dock hidden even if you try to move your mouse to where the dock is.
    • Disabling Dodge windows will keep the dock hidden even when it is not obstructed by any window.

As mentioned previously, this will not uninstall or disable the dock. But it will completely hide it. So it will not show on screen again unless at least one of the two previous options is enabled again.

  • The behaviour stays after disabling the extension. I bugged the dock appearance by changing background opacity (additional big semitransparent rectangle appeared), so I disabled the extension to try if any settings would be reset. After restarting without enabling it appeared that the default dash is autohiding as OP (and me) wanted. – Ctrl-C Dec 4 '18 at 12:34
13

In Ubuntu 17.10, 18.04, 18.10 and 19.04 you can uninstall gnome-shell-extension-ubuntu-dock using:

sudo apt remove gnome-shell-extension-ubuntu-dock

This will remove the Ubuntu dock.

You will need to restart your GNOME session, you can do this by logging out and back in.

  • 1
    This is actually the cleanest approach imho. – binaryanomaly Jul 27 '18 at 6:14
  • 1
    Instead of logging out and back in, you can also press ALT+F2, type 'r', then press enter. (this reloads gnome-shell but keeps windows open!) – antoineMoPa Jul 23 at 15:42
  • @antoineMoPa, the "press ALT+F2" approach works on an X11 session, but not in a Wayland session (and it probably never will). – psiphi75 Aug 8 at 22:54
9

You also could do it with dconf Editor which is pretty useful tool if you like tweaking your desktop.

So, in dconf Editor go to /org/gnome/shell/extensions/dash-to-dock and turn off simultaneously these three props:

  • autohide
  • dock-fixed
  • intellihide

And you have you dock visible only in overlay mode (the same as with extension recommended by @Dan).

  • 1
    I'll have to try this. Do you know if I can retain superkey shortcuts even with the dock hidden? – pcnate Mar 9 '18 at 14:37
  • 1
    @pcnate, Don't really know but AFAIK shortcuts usually linked to commands, not to UI elements, so most likely it should work. – Roman Bekkiev Mar 16 '18 at 10:22
  • I can confirm that superkey shortcuts still works. – andersoyvind May 16 '18 at 7:24
  • 1
    It's probably better to use the gsettings tool for this: gsettings set org.gnome.shell.extensions.dash-to-dock autohide false && gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false && gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false (note: condensed on one line because it doesn't seem possible to do multi-line code blocks in comments) – Desty May 18 '18 at 20:57
  • @Roman Your answer leads to the same behaviour as Ubuntu Gnome which I came to like. This is really nit-picking, but I really love the Linux-universe of distributions because it is so very diverse and customizable; totally orthogonal to the one-size-fits-all approach I consider MS is following (but maybe that's a misconception of mine). No matter what your preferences are in UI design and behaviour, you will find a Linux distribution to fit you. – Dohn Joe Aug 30 '18 at 8:12
2

The best method to do this in Ubuntu 18.04 is by using gsettings. Why install extensions when there is a clean way of doing this?

Use the following command in terminal to auto-hide dock

gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false

Note: Most of the tweaks that you want to do with your UI can be done using gsettings.
Use man gsettings and explore more.

  • It's been quite some time since I looked at this but I will check it out. – pcnate Feb 25 at 16:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.