How To Install gnome-shell-extension-workspaces-to-dock on Ubuntu 18.04
Introduction
In this tutorial we learn how to install gnome-shell-extension-workspaces-to-dock
on Ubuntu 18.04.
What is gnome-shell-extension-workspaces-to-dock
gnome-shell-extension-workspaces-to-dock is:
A GNOME Shell extension that transforms the workspaces of the overview mode into an intelligent dock.
It adds extra features to the workspaces area including:
- Multiple display preferences
- Select which side of display to keep workspaces
- Adjust size of workspace area
- Adjust background and colours
- Adjust autohide behaviour
- Display window icons in thumbnail area
There are three methods to install gnome-shell-extension-workspaces-to-dock
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-workspaces-to-dock 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-workspaces-to-dock
using apt-get
by running the following command:
sudo apt-get -y install gnome-shell-extension-workspaces-to-dock
Install gnome-shell-extension-workspaces-to-dock Using apt
Update apt database with apt
using the following command.
sudo apt update
After updating apt database, We can install gnome-shell-extension-workspaces-to-dock
using apt
by running the following command:
sudo apt -y install gnome-shell-extension-workspaces-to-dock
Install gnome-shell-extension-workspaces-to-dock 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-workspaces-to-dock
using aptitude
by running the following command:
sudo aptitude -y install gnome-shell-extension-workspaces-to-dock
How To Uninstall gnome-shell-extension-workspaces-to-dock on Ubuntu 18.04
To uninstall only the gnome-shell-extension-workspaces-to-dock
package we can use the following command:
sudo apt-get remove gnome-shell-extension-workspaces-to-dock
Uninstall gnome-shell-extension-workspaces-to-dock And Its Dependencies
To uninstall gnome-shell-extension-workspaces-to-dock
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-workspaces-to-dock
Remove gnome-shell-extension-workspaces-to-dock Configurations and Data
To remove gnome-shell-extension-workspaces-to-dock
configuration and data from Ubuntu 18.04 we can use the following command:
sudo apt-get -y purge gnome-shell-extension-workspaces-to-dock
Remove gnome-shell-extension-workspaces-to-dock configuration, data, and all of its dependencies
We can use the following command to remove gnome-shell-extension-workspaces-to-dock
configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge gnome-shell-extension-workspaces-to-dock
References
- gnome-shell-extension-workspaces-to-dock website
- gnome-shell-extension-workspaces-to-dock on packages.ubuntu.com
Summary
In this tutorial we learn how to install gnome-shell-extension-workspaces-to-dock
package on Ubuntu 18.04 using different package management tools: apt
, apt-get
and aptitude
.