gnome-shell-extension-dash-to-dock noarch f7f405d489caaab5285c55928b812d2e68074679a28071ca16a84277858a9853 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