Añadir extensiones de utilidad para el gnome 3 en Linux Mint 12 Lisa

Lo primero sería añadir el repositorio de WebUpd8 para el GNOME 3:

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update

Las extensiones disponibles, así como una breve descripcion se añaden a continuación:


Extensión para ver los programas abiertos con ALT+TAB:
sudo apt-get install gnome-shell-extensions-alternate-tab

Extensión que añade otras opciones a la opción del menu de apagado:
sudo apt-get install gnome-shell-extensions-alternative-status-menu

Extensión para instalar Temas:
sudo apt-get install gnome-shell-extensions-user-theme gnome-tweak-tool

Extensión para el indicador de los escritorios virtuales:
sudo apt-get install gnome-shell-extensions-workspace-indicator

Extensión para el menu de aplicaciones: añade un menú al estilo del gnome2 en la barra de gnome3
sudo apt-get install gnome-shell-extensions-apps-menu

Extensión añade las unidades montadas al menu:
sudo apt-get install gnome-shell-extensions-drive-menu

Extensión para el SystemMonitor: añadir el monitor de sistemas a la barra gnome3:
sudo apt-get install gnome-shell-extensions-system-monitor

Indicador del menu de lugares: añade un menu de las carpetas a la barra:
sudo apt-get install gnome-shell-extensions-places-menu

Extensión del Dock: muestra un dock-style

Para configurarlo hay que instalar dconf-tools
sudo apt-get install dconf-tools
una vez instalado se arranca con dconf-editor, navegas a org > gnome > shell > extensions > dock y aquí especificas donde quieres que aparezca (izquierda o derecha), habilitado o desabilitado, autoocultable, especifica los efectos del ocultamiento o la duración.

sudo apt-get install gnome-shell-extensions-dock

Extensión indicador Xrandr : Indicador del Monitor sistema: añade un monitor de sitemas al menu para varios monitores (sobrescribe gnome-settings-daemon).

sudo apt-get install gnome-shell-extensions-xrandr-indicator


Tambien lo puedes instalar todo a la vez usando el siguiente comando

sudo apt-get install gnome-shell-extensions-alternate-tab gnome-shell-extensions-alternative-status-menu gnome-shell-extensions-user-theme gnome-tweak-tool gnome-shell-extensions-workspace-indicator  gnome-shell-extensions-apps-menu gnome-shell-extensions-drive-menu gnome-shell-extensions-system-monitor gnome-shell-extensions-places-menu gnome-shell-extensions-dock gnome-shell-extensions-native-window-placement gnome-shell-extensions-gajim gnome-shell-extensions-xrandr-indicator gnome-shell-extensions-windows-navigator gnome-shell-extensions-auto-move-windows

Una vez instalado, reinica el GNOME Shell (presionando ALT + F2 and enter o cerrando sesión , una vez arrancado usa el GNOME Tweak Tool y veras que facil activas ó desactivas las extensiones que quieres usar, así como instalar nuevos temas.

Gracias a Wepupd8