If you are using Gnome just use Gnome tweaks and install “Dash to dock” extension(it has auto hide feature). There are many usefull extensions in the Gnome extensions site.