gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock (Dash to Dock extension for GNOME) gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock: Move the dash out of the overview transforming it in a dock gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock: https://micheleg.github.io/dash-to-dock gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock: gnome-shell-extension-dash-to-dock: