Ubuntu
gnome-shell-extension-mediaplayer package

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 Pocket Published Component Section
Bionic release universe misc

Builds

Bionic: [FULLYBUILT] amd64

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

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.