1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
Source: gnome-shell-extension-dashtodock
Section: gnome
Priority: optional
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Uploaders: Jonathan Carter <jcc@debian.org>
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.
|
