Ubuntu
gnome-shell-extension-dashtodock package

gnome-shell-extension-dashtodock 62-1 source package in Ubuntu

Changelog

gnome-shell-extension-dashtodock (62-1) unstable; urgency=medium

  * New upstream release
  * Update standards version to 4.1.3

 -- Jonathan Carter <email address hidden>  Mon, 08 Jan 2018 13:37:48 +0200

Upload details

Uploaded by:
Jonathan Carter
Uploaded to:
Sid
Original maintainer:
Jonathan Carter
Architectures:
all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Bionic: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-dashtodock_62-1.dsc 2.1 KiB 0e213639dbeaa6ea4dde5f5cd0e90a6a73ceff541be0d079155836c3d288262b
gnome-shell-extension-dashtodock_62.orig.tar.gz 283.1 KiB b74a89b3988bd7e7bdbbe8427382c3a2d06784bdaf72ea42ae37e5cb3ac26858
gnome-shell-extension-dashtodock_62-1.debian.tar.xz 3.1 KiB 411e10528d30922045ac49990b26bc53f7affba19909dea8436cc817fa89dd31

Available diffs

No changes file available.

Binary packages built by this source

gnome-shell-extension-dashtodock: 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.