gnome-shell-extension-dash-to-dock src e130166598912b2fe6a7088e568a4ca5e004c9c9eeb440d39f4aaeccfddb3851 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