# 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