How to Install and Uninstall gnome-shell-extension-mediaplayer Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: February 17,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