Gracias por comentar.

Este Blog cuenta con detección automática de spam para los comentarios. Además, hasta que yo no los lea no se publicaran...

Buscar en este blog

lunes, 6 de junio de 2011

Las extensiones de Gnome Shell en Ubuntu 11.04

Gnome Shell tiene un sistema de extensiones que amplían o modifican sus funciones básicas (que conste que no recomiendo instalarlas a nadie, me parece todo muy inestable aun). Esto nos permitirá añadir un Dock siempre visible, un selector de temas...

Bueno, pues las instale añadiendo el repositorio (PPA) de Rico Tzschichholz.

En un Terminal tecleamos:

sudo add-apt-repository ppa:ricotz/ppa && sudo apt-get update

Después usamos el Gestor de paquetes Synaptic para elegir las extensiones que mas nos gusten (con filtro rápido, tecleamos gnome shell extensions) y finalmente recargamos Gnome Shell tecleando la combinación de teclas Alt+F2 y escribimos r.

Para desactivar una extensión usaremos en un Terminal la orden:

gsettings set org.gnome.shell disabled-extensions "['nombre_extensión']"


El nombre exacto de la extensión es el de la carpeta que la contiene dentro de /usr/share/gnome/shell/extensions, por ejemplo para desactivar la extensión que añade un nuevo dock siempre visible usaremos:

gsettings set org.gnome.shell disabled-extensions "['dock@gnome-shell-extensions.gnome.org']"


Para reactivar todas las extensiones usaremos la orden:

gsettings reset org.gnome.shell disabled-extensions

Por ejemplo la extension Selector de temas nos permite cambiar gráficamente el tema de Gnome Shell, sólo necesitas bajarte el tema y seleccionar el archivo .zip desde Gnome Tweak Tool.

Para instalar esta herramienta tecleamos en un terminal:


sudo apt-get install gnome-tweak-tool


No hay comentarios: