4
4
## A dock for the GNOME Shell
5
5
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.
9
11
## Installation from source