hide-dock Hide-Dock is a Gnome extension which changes the Ubuntu dock's default behavior of being always shown, to being hidden. Initial Commit