ubuntu 20 show dock only on 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