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