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,...

pomsky
  • 67,112
  • 21
  • 233
  • 243
kravemir
  • 289
  • 2
  • 9
  • 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?](https://askubuntu.com/questions/1030138/how-can-i-get-rid-of-the-dock-in-ubuntu-18) – pomsky Mar 16 '20 at 08:54
  • @pomsky, yes, though,.. disabled is enough, instead of "get rid",.. – kravemir Mar 16 '20 at 09: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 '20 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: https://askubuntu.com/a/1217515/1841 – kravemir Mar 16 '20 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 '20 at 10:18

0 Answers0