How To Install gnome-shell-extension-autohidetopbar on Ubuntu 18.04
Introduction
In this tutorial we learn how to install gnome-shell-extension-autohidetopbar on Ubuntu 18.04.
What is gnome-shell-extension-autohidetopbar
gnome-shell-extension-autohidetopbar is:
This gnome-shell extension automatically hides the topbar, except in overview. There is also an option to show the topbar when the mouse pointer approaches the edge of the screen.
Please note that you have to manually enable the extension, for example using gnome-tweak-tool.
There are three methods to install gnome-shell-extension-autohidetopbar on Ubuntu 18.04. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.
Install gnome-shell-extension-autohidetopbar Using apt-get
Update apt database with apt-get using the following command.
sudo apt-get update
After updating apt database, We can install gnome-shell-extension-autohidetopbar using apt-get by running the following command:
sudo apt-get -y install gnome-shell-extension-autohidetopbar
Install gnome-shell-extension-autohidetopbar Using apt
Update apt database with apt using the following command.
sudo apt update
After updating apt database, We can install gnome-shell-extension-autohidetopbar using apt by running the following command:
sudo apt -y install gnome-shell-extension-autohidetopbar
Install gnome-shell-extension-autohidetopbar Using aptitude
If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Ubuntu. Update apt database with aptitude using the following command.
sudo aptitude update
After updating apt database, We can install gnome-shell-extension-autohidetopbar using aptitude by running the following command:
sudo aptitude -y install gnome-shell-extension-autohidetopbar
How To Uninstall gnome-shell-extension-autohidetopbar on Ubuntu 18.04
To uninstall only the gnome-shell-extension-autohidetopbar package we can use the following command:
sudo apt-get remove gnome-shell-extension-autohidetopbar
Uninstall gnome-shell-extension-autohidetopbar And Its Dependencies
To uninstall gnome-shell-extension-autohidetopbar and its dependencies that are no longer needed by Ubuntu 18.04, we can use the command below:
sudo apt-get -y autoremove gnome-shell-extension-autohidetopbar
Remove gnome-shell-extension-autohidetopbar Configurations and Data
To remove gnome-shell-extension-autohidetopbar configuration and data from Ubuntu 18.04 we can use the following command:
sudo apt-get -y purge gnome-shell-extension-autohidetopbar
Remove gnome-shell-extension-autohidetopbar configuration, data, and all of its dependencies
We can use the following command to remove gnome-shell-extension-autohidetopbar configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge gnome-shell-extension-autohidetopbar
References
- gnome-shell-extension-autohidetopbar website
- gnome-shell-extension-autohidetopbar on packages.ubuntu.com
Summary
In this tutorial we learn how to install gnome-shell-extension-autohidetopbar package on Ubuntu 18.04 using different package management tools: apt, apt-get and aptitude.
