Ubuntu
gnome-shell-extension-mediaplayer package

gnome-shell-extension-mediaplayer 3.5-1 source package in Ubuntu

Changelog

gnome-shell-extension-mediaplayer (3.5-1) unstable; urgency=medium

  * New upstream release
  * d/p/fix-https-github.com-JasonLG1979-gnome-shell-extensions-m.patch,
    d/p/Add-czech-translation-436.patch:
    Cherry-pick a post-release bugfix and a new Czech translation from
    upstream

 -- Simon McVittie <email address hidden>  Mon, 27 Nov 2017 10:56:13 +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

Builds

Bionic: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-mediaplayer_3.5-1.dsc 2.2 KiB 3e88975494e6be269ab87a601622c4887552392f7d8cad8dde4ed0d2537538e8
gnome-shell-extension-mediaplayer_3.5.orig.tar.gz 239.1 KiB 23b640d4452a5a072ab63ec3f87b4d8b9ee1121da319b30e39a6bf393dc2df13
gnome-shell-extension-mediaplayer_3.5-1.debian.tar.xz 13.4 KiB 3d08132e7ac67d3a4ed451ec97d89d82251a0091beab23b892fd68ad39d4cb0c

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.