How to Install and Uninstall gnome-shell-extension-mediaplayer Package on Ubuntu 18.04 LTS (Bionic Beaver)
Last updated: February 03,2025
1. Install "gnome-shell-extension-mediaplayer" package
This guide covers the steps necessary to install gnome-shell-extension-mediaplayer on Ubuntu 18.04 LTS (Bionic Beaver)
$
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 Ubuntu 18.04 LTS (Bionic Beaver):
$
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 Ubuntu 18.04 LTS (Bionic Beaver)
Package: gnome-shell-extension-mediaplayer
Architecture: all
Version: 3.5-3
Priority: optional
Section: universe/gnome
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Simon McVittie
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 300
Depends: gnome-shell (<< 3.29), gnome-shell (>= 3.18)
Recommends: gnome-tweaks
Filename: pool/universe/g/gnome-shell-extension-mediaplayer/gnome-shell-extension-mediaplayer_3.5-3_all.deb
Size: 45516
MD5sum: 0095ba96e8bfe8a8d788a87529f8b621
SHA1: cbbfea535c700defc7ee4f946d36a09579897fd3
SHA256: f7bc2ad816c8dc65ee88e6fd60440e873310d742d11bcfe7e2a018f6094d8aa6
Homepage: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
Description: GNOME Shell extension to control media players
Description-md5: 9298a6cadab9a87a30bd3e922d90475c
Architecture: all
Version: 3.5-3
Priority: optional
Section: universe/gnome
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Simon McVittie
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 300
Depends: gnome-shell (<< 3.29), gnome-shell (>= 3.18)
Recommends: gnome-tweaks
Filename: pool/universe/g/gnome-shell-extension-mediaplayer/gnome-shell-extension-mediaplayer_3.5-3_all.deb
Size: 45516
MD5sum: 0095ba96e8bfe8a8d788a87529f8b621
SHA1: cbbfea535c700defc7ee4f946d36a09579897fd3
SHA256: f7bc2ad816c8dc65ee88e6fd60440e873310d742d11bcfe7e2a018f6094d8aa6
Homepage: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
Description: GNOME Shell extension to control media players
Description-md5: 9298a6cadab9a87a30bd3e922d90475c