gnome-shell-extension-dash-to-dock src 77bd10dd14c57f142b591b8446543840b73ae9d654af35ffbb01597a46f749d0 Dock for the Gnome Shell by micxgx@gmail.com This extension enhances the dash moving it out of the overview and transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops without having to leave the desktop view. angrypenguin <angrypenguinpoland@gmail.com> https://micheleg.github.io/dash-to-dock