[ buster ]
[ Paquet source : gnome-shell-extension-mediaplayer ]
Paquet : gnome-shell-extension-mediaplayer (4.0-1)
Liens pour gnome-shell-extension-mediaplayer
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source gnome-shell-extension-mediaplayer :
- [gnome-shell-extension-mediaplayer_4.0-1.dsc]
- [gnome-shell-extension-mediaplayer_4.0.orig.tar.gz]
- [gnome-shell-extension-mediaplayer_4.0-1.debian.tar.xz]
Responsables :
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-panel-osd
- gnome-shell-extension-caffeine
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extension-espresso
- gnome-shell-extension-suspend-button
- gnome-shell-extension-autohidetopbar
- gnome-shell-extension-gpaste
- gir1.2-playerctl-2.0
- rhythmbox-plugins
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.
Autres paquets associés à gnome-shell-extension-mediaplayer
|
|
|
|
-
- dep: gnome-shell (<< 3.31)
- interpréteur de commandes graphique pour le bureau GNOME
- dep: gnome-shell (>= 3.18)
-
- rec: gnome-tweaks
- outil pour ajuster les paramètres de configuration avancés de GNOME
Télécharger gnome-shell-extension-mediaplayer
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 46,8 ko | 308,0 ko | [liste des fichiers] |