If anyone really hates having no option to hide the dock entirely, a work around is to do the following song and dance:
1. Install the dash to dock extension: https://extensions.gnome.org/extension/307/dash-to-dock/ 2. Install the tweak tool (sudo apt-get install gnome-tweak-tool) 3. open the tweak tool and navigate to the extensions section 4. Activate dash to dock (flip switch to "ON") 5. Edit settings by clicking the little gear next to the switch 6. Choose position on screen: left 7. Turn "intelligent auto-hide" ON 8. Click the gear button for settings 9. check the "enable push to show" tickbox 10. Set pressure to 300 or higher so you don't accidentally trip it by mistake Then the dock acts mostly like vanilla gnome again, only coming up when you hit the Super key, or go to the Actions menu. All this configuration nightmare could be prevented by developers simply adding an "off" option under the new Ubuntu Dock settings for display "right, left, bottom, off". Thanks for the work everyone. -C -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1713020 Title: Ubuntu Dock extension cannot be disabled in the Ubuntu session To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1713020/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
