deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: dconf-gsettings-backend | gsettings-backend, gnome-shell (>= 45), gnome-shell
(<< 48~)
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.
Homepage: https://micheleg.github.io/dash-to-dock/
Installed-Size: '1198'
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Package: gnome-shell-extension-dashtodock
Priority: optional
Recommends: gnome-shell-extension-prefs
Section: gnome
Version: 99-1
srcpkg_name: gnome-shell-extension-dashtodock
srcpkg_version: 99-1