gnome-shell-extension-mediaplayer 3.5-3 source package in Ubuntu
Changelog
gnome-shell-extension-mediaplayer (3.5-3) unstable; urgency=medium * Recommend gnome-tweaks, renamed from gnome-tweak-tool * Bump upper bound on gnome-shell dependency to 3.29 -- Simon McVittie <email address hidden> Sun, 25 Feb 2018 17:21:06 +0000
Upload details
- Uploaded by:
- Simon McVittie
- Uploaded to:
- Sid
- Original maintainer:
- Simon McVittie
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnome-shell-extension-mediaplayer_3.5-3.dsc | 2.1 KiB | f57a36fe716ebcc2331d182a49cae9e636a28bf828cfaf7a7707a1ba24c3dba4 |
gnome-shell-extension-mediaplayer_3.5.orig.tar.gz | 239.1 KiB | 23b640d4452a5a072ab63ec3f87b4d8b9ee1121da319b30e39a6bf393dc2df13 |
gnome-shell-extension-mediaplayer_3.5-3.debian.tar.xz | 13.4 KiB | 8108b1476ff4032affb9dd059567863bb04c6eb00f76fb9c9998281c88de6a15 |
Available diffs
- diff from 3.5-2 to 3.5-3 (729 bytes)
No changes file available.
Binary packages built by this source
- gnome-shell-extension-mediaplayer: GNOME Shell extension to control media players
This GNOME Shell extension monitors D-Bus for media players that implement
the MPRIS v2.1 specification, and displays an indicator in the Shell's system
menu which shows current song and can be used to control playback. Suitable
media players include Rhythmbox, Banshee and Clementine.
.
Please note that each user will need to enable the extension manually, for
example using the gnome-tweaks application.