0

Since the launch of the GNOME Shell Extensions repository website, installation of extensions become easier than before. With just two mouse clicks will allow you to turn a Gnome shell extension on/off. In this brief guide we will show you how to manage Gnome Shell extensions under a system running Ubuntu 11.10/12.04. This guide will be mainly useful for beginners.

If you haven't already installed Gnome Shell under Ubuntu 11.10/12.04, then do with this command:

sudo apt-get install gnome-shell

Log out the current session and select GNOME from the login menu and log back in to start Gnome Shell. Next, if you want to install a Gnome Shell extension, refer to this website repository and search and install any gnome shell extension of your choice:

https://extensions.gnome.org/

When entering the extension page, a "on/off" button will show up, click it to enable or disable the gnome shell extension:



When offline, you can manage your installed Gnome Shell extensions using Gnome Tweak Tool. To install it under Ubuntu 11.10/12.04, run this command:

sudo apt-get install gnome-tweak-tool

Once started, head to the "Shell Extensions" tab to be able to turn extensions on/off:


For manual removal of Gnome Shell extensions, you can access this folder with this command:

nautilus ~/.local/share/gnome-shell/extensions/

That's it!

Post a Comment

 
Top