In this tutorial, we will introduce five popular extensions that are still not updated in the Gnome Extension Website for the Gnome 3.6 desktop environment. I have added them to our PPA to make them installable in Ubuntu 12.10 Quantal Quetzal with Gnome Shell 3.6 enabled.
If you haven't already installed Gnome Shell 3.6.x in Ubuntu 12.10, you can install it with this command:
sudo apt-get install gnome-shell gnome-tweak-tool
You need to use Gnome Tweak Tool to enable/disable the extensions given below:
Also, after installing any Gnome Shell extension from PPA, you need to restart Gnome Shell with these keys in order for the extension to show up in Gnome Tweak Tool:
ALT+F2 >> r
To add the extension PPA to your system, run these commands from the terminal:
sudo add-apt-repository ppa:upubuntu-com/gnome3.6
sudo apt-get update
1. Auto Hide Top Panel
This extension will force the top panel of Gnome Shell to hide. It will show up only when hovering your mouse cursor over the upper edge of the screen.
sudo apt-get install autohide-extension
2. Bottom Panel
This extension will show up a taskbar at the bottom of your screen like in Gnome2.
sudo apt-get install bottom-panel-extension
3. Move Top Panel To The Bottom With Reflection
The Reflection extension will force your top panel to appear at the bottom of your screen.
sudo apt-get install reflection-extension
4. Overview Icon
This extension will show up current opened programs icons when enabling the overview mode.
sudo apt-get install overview-icon-extension
5. Panel Favorites
This extension will display your favorite programs in the top panel.
sudo apt-get install panel-favorites-extension