Ads
Quick installation of gnome-shell-extensions:
Step 1: Update system:
sudo apt-get update
Step 2: Install: gnome-shell-extensions
Ater updaing the OS run following command to install the packae:
sudo apt-get install gnome-shell-extensions
Package Details | |
| Package: | gnome-shell-extensions |
| Version: | 3.22.2-1 |
| Maintainer: | Ubuntu Developers |
| Home page: | https://wiki.gnome.org/Projects/GnomeShell/Extensions |
| Description: | Extensions to extend functionality of GNOME Shell The GNOME Shell redefines user interactions with the GNOME desktop. In particular, it offers new paradigms for launching applications, accessing documents, and organizing open windows in GNOME. Later, it will introduce a new applets eco-system and offer new solutions for other desktop features, such as notifications and contacts management. The GNOME Shell is intended to replace functions handled by the GNOME Panel and by the window manager in previous versions of GNOME. The GNOME Shell has rich visual effects enabled by new graphical technologies. . GNOME Shell is extensible using extensions. This package contains official GNOME Shell extensions. |
| Distro: | Ubuntu 17.04 |
| Release: | |
| Repo/Section: | universe/gnome |
How to install gnome-shell-extensions on Ubuntu 17.04?
First of all update your system with the command:
sudo apt-get update
Ads
Above command will download the package lists for Ubuntu 17.04 on your system. This will update the list of newest versions of packages and its dependencies on your system.
After downloading the latest package list with the help of above you can run the installation process.
If gnome-shell-extensions is not installed on your compter then the command 'dpkg -L gnome-shell-extensions' will give followin error.
deepak@deepak-VirtualBox:~$ dpkg -L gnome-shell-extensions dpkg-query: package 'gnome-shell-extensions' is not installed Use dpkg --info (= dpkg-deb --info) to examine archive files, and dpkg --contents (= dpkg-deb --contents) to list their contents. deepak@deepak-VirtualBox:~$
Installing gnome-shell-extensions:
After system update use the following command to install gnome-shell-extensions:
sudo apt-get install gnome-shell-extensions
Above command will confirm before installing the package on your Ubuntu 17.04 Operating System. If you are not already logged in as su, installer will ask you the root password. After completion of the installation you can use the package on your system.
How to uninstall/remove gnome-shell-extensions from Ubuntu 17.04?
Now we will see the commands for uninstalling the gnome-shell-extensions from Ubuntu 17.04. For uninstalling this package you can easily use the apt command and remove the package from Linux Operating System.
To remove the gnome-shell-extensions following command is used:
sudo apt-get remove gnome-shell-extensions
Following command is used to remove the gnome-shell-extensions package along with its dependencies:
sudo apt-get remove --auto-remove gnome-shell-extensions
This will remove gnome-shell-extensions and all its dependent packages which is no longer needed in the system.
Completely removing gnome-shell-extensions with all configuration files:
Following command should be used with care as it deletes all the configuration files and data:
sudo apt-get purge gnome-shell-extensions
or you can use following command also:
sudo apt-get purge --auto-remove gnome-shell-extensions
Above command will remove all the configuration files and data associated with gnome-shell-extensions package. You can can't recover the delete data, so, use this command with care.
