Despues de agregar el siguiente repositorio vamos a poder instalar 7 magnificas extensiones a usar con Gnome-Shell en Ubuntu 11.10.
El primer paso serìa instalar gnome-tweak-tool para poder configurar las extensiones mas adelante:
sudo apt-get install gnome-tweak-tool
Despues agregamos el repositorio:
sudo add-apt-repository ppa:ferramroberto/gnome3
sudo apt-get update && sudo apt-get install gnome-shell-extensions-common
Extensiones y comandos para su instalaciòn:
Workspace Switcher Extension
sudo apt-get install gnome-shell-extensions-workspace-indicator
Alternative Status Menu GNOME Shell Extension
sudo apt-get install gnome-shell-extensions-alternative-status-menu
SystemMonitor GNOME Shell Extension
sudo apt-get install gnome-shell-extensions-system-monitor
Apps Menu GNOME Shell Extension
sudo apt-get install gnome-shell-extensions-apps-menu
Places Menu GNOME Shell Extension
sudo apt-get install gnome-shell-extensions-places-menu
User-Theme GNOME Shell Extension
sudo apt-get install gnome-shell-extensions-user-theme
Alternate Tab GNOME Shell Extension
sudo apt-get install gnome-shell-extensions-alternate-tab
Despues de haber instalado las extensiones es importante logout/login o ALT+F2 ‘r’ para poder disponer de ellas, las activamos y configuramos utilizando gnome-tweak-tool.
IMPORTANTE!!! Muchas extensiones parecen no ser muy estables todavia!!!.
El comando para borrar/eliminar las extensiones instaladas (usar con precaucion!!)
sudo apt-get remove gnome-shell-extensions-*
Enjoy!! Via: techdrivein