Ubuntu 20 Show Dock solo en Hover
# If you want the dock to stay hidden by default, open a terminal and type:
$ gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false
# To revert:
$ gsettings set org.gnome.shell.extensions.dash-to-dock intellihide true
Fancy Ferret