In the following article and supported by a video tutorial, I will teach them to install new extensions which will give more functionality to our spectacular gnome-shell interface.
The method to install a new extension or functionality on our desktop gnome-shell, It’s the sea of simple and easy in addition to not being able to, just look at the video in the header to see the extreme simplicity of the process.
Extensions are tools for install new features on our desktop gnome-shell, For example, in the video I teach you how to install an application drop-down menu, like the old gnome menu but more colorful, this will be a new menu that will be added to the corner corner of activities or he dash gnome-shell original, and will in no way replace the original dash but complement it.
If you are interested in install new extensions, The first thing you need to do is install gnome-pinch-tools, which is the tool with which you will control all aspects of the desktop gnome-shell.
Once installed, all you have to do is follow the steps in the header video and select the extensions you want to enable or disable on the desktop.
On the example website itself you have extensions for all tastes, the bad thing is that the specifications are in English, so it is question of trying them and if you like them you leave them installed and if you don’t uninstall them.
Learn more – How to control and modify aspects in gnome-shell, Ubuntu 12.10 “Quantal Quetzal” in ASUS EEPC 1000HE running gnome-shell