22 julio 2012

Extensiones actualizadas GNOME-Shell en Ubuntu 12.04

Hola compañeros un saludo a todos ustedes, en esta ocasión les voy a mostrar cómo instalar extensiones para Gnome-Shell en Ubuntu 12.04, las extensiones son mini-aplicaciones que se integran al escritorio de Gnome para hacerlo más llamativo y funcional. Existe por la Red un método de instalarlas que ya no es compatible con la nueva versión de GNOME-Shell, en mi caso las instalé y en el menú de extensiones de "Gnome Tweak Tool" aparecían con un ícono de advertencia:

NOTA: Click en las imágenes para ver en tamaño original ; )







En fin, les dejo el proceso de instalación de algunas extensiones:



Primero añadimos repositorios con:


sudo add-apt-repository ppa:webupd8team/gnome3


Terminando de añadir el repositorio actualizamos el sistema con:


sudo apt-get update


E instalamos algunas extensiones con:


sudo apt-get install gnome-shell-extensions

Con este comando se instalan extensiones como:

Dock



Detalle



Alternative Status Menu
Un menú alternativo al que se le añade la opción de "Apagar"



system-monitor
Monitoreo de CPU, RAM, Red


Al dar click en algún indicador este despliega información más detallada ; )



SystemMonitor
Otro monitor del sistema ubicado en la parte inferior de nuestro escritorio aparece al pasar al Mouse



Places status indicator
Acceso rápido a carpetas y dispositivos montados



Workspace Indicator
Indicador de los espacios de trabajo o escritorios virtuales



Applications Menu
Un menú para lanzar aplicaciones organizadas por categoría muy al estilo de GNOME clásico



Removable Drive Menu
Muestra los medios montados y los expulsa de manera segura (alternativa "ejecter")



También podemos instalar extensiones individualmente, aquí un buen indicador del clima:

Wheather indicator

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



Además de un control multimedia para nuestro reproductor de música (probado con Rhythmbox, Clementine y Audacious ; ) )

Media player indicator

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



Una vez instaladas las extensiones procederemos a administrarlas para ello necesitamos de "Configuración avanzada" también conocido como "Gnome Tweak Tool" se encuentra en Centro de Software de Ubuntu pero podemos instarlo con:

sudo apt-get install gnome-tweak-tool

Una vez en ejecución nos posicionamos en el menú de "Extensiones de GNOME-Shell" para activar y desactivar las extensiones.



NOTA: Si algunas extensiones (o todas) no se aplican, necesitaremos de reiniciar Gnome-Shell, para ello basta con teclar "ALT+F2" (sin las comillas ni el signo de más "+") y dentro del cuadro de dialogo nos pedirá que introduzcamos un comando, en este caso será la "r" (de nuevo sin las comillas) y damos Enter (también funciona un nuevo inicio de sesión).



Más información y descarga de extensiones en el sitio Web oficial:

http://extensions.gnome.org

Eso es todo compañeros, para que le den un toque más personal a su Gnome-Shell, cualquier duda o comentario ya saben que este es el medio.

Saludos!!!