1

In Ubuntu 19.10 there's automatically converted GNOME's dash to dock. And, configuration:

  • "settings -> dock": offers only option "Auto-hide the Dock",
  • "GNOME Tweaks": can't configure any extension about dock.

However, I need to hide it always, except when activity/search menu/screen is shown. As, it's pretty much annoying slowdown, when I want to press some button on the left side, and dock shows and covers application's buttons,...

Improve this question
5
  • 1
    You just need to get rid of the Ubuntu Dock. The "dock" in 'Activities' overview (viz. GNOME Dash), is an in-built feature of GNOME Shell. So it would be available anyway. Does this answer your question? How can I get rid of the dock in Ubuntu 18?
    – pomsky
    Mar 16, 2020 at 8:54
  • @pomsky, yes, though,.. disabled is enough, instead of "get rid",..
    – kravemir
    Mar 16, 2020 at 9:57
  • Unfortunately, there is no simple way to disable it, since it's pre-installed system extension that is always activated by default in an Ubuntu session.
    – pomsky
    Mar 16, 2020 at 10:01
  • @pomsky Well,.. there is quite simple way (in the end, it's one-liner, though needs a bit of research). I have just shared the answer: askubuntu.com/a/1217515/1841
    – kravemir
    Mar 16, 2020 at 10:06
  • Hmm... it didn't seem to work on a standard Ubuntu session on Ubuntu 18.04. Looks like there is no 'disabled-extensions' key at org/gnome/shell (there is the 'enabled-extensions' one though).
    – pomsky
    Mar 16, 2020 at 10:18

0

Reset to default

Browse other questions tagged .