gnome-shell-extension-ubuntu-dock 0.8 source package in Ubuntu
Changelog
gnome-shell-extension-ubuntu-dock (0.8) bionic; urgency=medium * Sync with latest dash to dock upstream, bringing glossy and other small upstream features. * Remove now prefs.js at package install time to minimize upstream diff. * Update Standards-Version to latest. -- Didier Roche <email address hidden> Mon, 06 Nov 2017 13:59:21 +0100
Upload details
- Uploaded by:
- Didier Roche-Tolomelli
- Uploaded to:
- Bionic
- Original maintainer:
- Didier Roche-Tolomelli
- Architectures:
- all
- Section:
- gnome
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnome-shell-extension-ubuntu-dock_0.8.tar.xz | 268.9 KiB | d0c9fd0b342abc26109b36b1ea2c42b1156cf33d80954c994539599644c531f7 |
gnome-shell-extension-ubuntu-dock_0.8.dsc | 1.0 KiB | 46bd15fc6dfbcfb7614e28cd7964ff5d8f4f326764dfc6a3570bbe57cf22a346 |
Available diffs
- diff from 0.7.1 to 0.8 (36.9 KiB)
Binary packages built by this source
- gnome-shell-extension-ubuntu-dock: Ubuntu Dock for GNOME Shell
A dock for the Gnome Shell, default Ubuntu experience.
.
This extension is a modified version of Dash To Dock with different defaults.
Dash To Dock can be installed to replace it and give more (but unsupported)
configuration options.