Source: gnome-shell-extension-dashtodock Section: gnome Priority: optional Maintainer: Debian GNOME Maintainers Uploaders: Jonathan Carter Build-Depends: debhelper-compat (= 13), libglib2.0-bin, sassc, eslint, node-js-yaml, node-chalk, node-strip-ansi, node-text-table, python3 Standards-Version: 4.7.0 Homepage: https://micheleg.github.io/dash-to-dock/ Vcs-Git: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-dashtodock.git Vcs-Browser: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-dashtodock Package: gnome-shell-extension-dashtodock Architecture: all Depends: ${misc:Depends}, gnome-shell (>= ${gnome:MinimumVersion}~), gnome-shell (<< ${gnome:MaximumVersion}~), Recommends: gnome-shell-extension-prefs | gnome-shell-extension-manager Provides: gnome-shell-extension-dash-to-dock (= ${binary:Version}) Description: dash-to-dock extension for GNOME shell Dash to dock extension is an enhanced dash for GNOME Shell. It moves the default dash out of the overview and transforms it in a dock for an easier launching of applications and a faster switching between windows and workspaces without leaving the desktop view improving the workflow in your system. . It supports autohide and intellihide modes as well as a fixed mode. Optional features are available in the extension settings. The extension is themes friendly.