How to Install and Uninstall gnome-shell-extension-mediaplayer Package on Debian 10 (Buster)
Last updated: March 02,2025
1. Install "gnome-shell-extension-mediaplayer" package
Learn how to install gnome-shell-extension-mediaplayer on Debian 10 (Buster)
$
sudo apt update
Copied
$
sudo apt install
gnome-shell-extension-mediaplayer
Copied
2. Uninstall "gnome-shell-extension-mediaplayer" package
Please follow the instructions below to uninstall gnome-shell-extension-mediaplayer on Debian 10 (Buster):
$
sudo apt remove
gnome-shell-extension-mediaplayer
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the gnome-shell-extension-mediaplayer package on Debian 10 (Buster)
Package: gnome-shell-extension-mediaplayer
Version: 4.0-1
Installed-Size: 308
Maintainer: Simon McVittie
Architecture: all
Depends: gnome-shell (<< 3.31), gnome-shell (>= 3.18)
Recommends: gnome-tweaks
Description: GNOME Shell extension to control media players
Description-md5: 9298a6cadab9a87a30bd3e922d90475c
Homepage: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
Section: gnome
Priority: optional
Filename: pool/main/g/gnome-shell-extension-mediaplayer/gnome-shell-extension-mediaplayer_4.0-1_all.deb
Size: 47936
MD5sum: 745cd62038912bd317bf8494193eefc4
SHA256: 7032ba627883a3efefee0195d731dacc79776fd59754797dafe7fb2c20ba92a7
Version: 4.0-1
Installed-Size: 308
Maintainer: Simon McVittie
Architecture: all
Depends: gnome-shell (<< 3.31), gnome-shell (>= 3.18)
Recommends: gnome-tweaks
Description: GNOME Shell extension to control media players
Description-md5: 9298a6cadab9a87a30bd3e922d90475c
Homepage: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
Section: gnome
Priority: optional
Filename: pool/main/g/gnome-shell-extension-mediaplayer/gnome-shell-extension-mediaplayer_4.0-1_all.deb
Size: 47936
MD5sum: 745cd62038912bd317bf8494193eefc4
SHA256: 7032ba627883a3efefee0195d731dacc79776fd59754797dafe7fb2c20ba92a7