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

Last updated: May 16,2024

1. Install "gnome-shell-extension-autohidetopbar" package

This tutorial shows how to install gnome-shell-extension-autohidetopbar on Debian 10 (Buster)

$ sudo apt update $ sudo apt install gnome-shell-extension-autohidetopbar

2. Uninstall "gnome-shell-extension-autohidetopbar" package

Please follow the instructions below to uninstall gnome-shell-extension-autohidetopbar on Debian 10 (Buster):

$ sudo apt remove gnome-shell-extension-autohidetopbar $ sudo apt autoclean && sudo apt autoremove

3. Information about the gnome-shell-extension-autohidetopbar package on Debian 10 (Buster)

Package: gnome-shell-extension-autohidetopbar
Version: 20180908-2
Installed-Size: 89
Maintainer: Tobias Frost
Architecture: all
Depends: gnome-shell (>= 3.18)
Recommends: gnome-tweaks
Description: GNOME shell automatic topbar hider
Description-md5: 93da1149b58520f46e5dfadb1278eab9
Homepage: https://github.com/mlutfy/hidetopbar
Section: gnome
Priority: optional
Filename: pool/main/g/gnome-shell-extension-autohidetopbar/gnome-shell-extension-autohidetopbar_20180908-2_all.deb
Size: 16960
MD5sum: 1114f5edc3e3790d487299ccabf6acf1
SHA256: aff5e593f82671815dec280fb308d11855d51d5d436e09b8ade29dbf25a40682