gnome-shell-extension-dashtodock
Created by
Mantas Kriaučiūnas
on
2016-11-04
and last modified on
2022-12-21
Description
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.
Recipe information
- Build schedule: (?)
- Built on request
- Debian version:
- {debupstream}-1+{revno}
- Daily build archive:
- gnome-shell-extensions
Latest builds
| Status | When complete | Distribution series | Archive |
|---|---|---|---|
|
|
buildlog (10.4 KiB) | Xenial | gnome-shell-extensions |
|
|
buildlog (10.3 KiB) | Xenial | gnome-shell-extensions |
|
|
buildlog (10.3 KiB) | Xenial | gnome-shell-extensions |
|
|
buildlog (10.3 KiB) | Xenial | gnome-shell-extensions |
|
|
buildlog (10.3 KiB) | Xenial | gnome-shell-extensions |
Recipe contents
# bzr-builder format 0.3 deb-version {debupstream}
lp://qastaging/
merge packaging lp://qastaging/
