How to Install and Uninstall gnome-shell-extension-mediaplayer Package on Debian 10 (Buster)

Last updated: May 20,2024

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