# 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