Cómo: Gnome Shell Extensions en Debian


Mi escritorio

Lamentablemente no he tenido el tiempo suficiente para hablar de Gnome Shell como quisiera o debería, lo adopté desde los primeros días en que se encontraba en experimental y tanto mi laptop del trabajo como la personal corren este entorno de escritorio sin ningún problema.

Así que me aproximaré solamente por aquellas partes que considere un tanto relevantes.

Como seguro habrán leído Gnome shell dejó bastante de lado la capacidad de crear un entorno a la medida de cada usuario, simplemente para aplicar temas tenemos que auxiliarnos de una herramienta que no viene con la instalación estándar: gnome-tweak-tool, por lo tanto para modificar su comportamiento Shell se auxilia de extensiones, escritas por el equipo mismo de Gnome o por los usuarios, utilizando javascript y css.
Como buen debianita leí la documentación y comencé a aplicar el método descrito en la página de las extensiones:

  1. Clonar el repositorio:
    git clone git://git.gnome.org/gnome-shell-extensions
  2. Instalar gnome-common:
    aptitude install gnome-common
  3. Preparar las extensiones:
    ./autogen.sh --prefix=$HOME/.local --enable-extensions="alternate-tab user-theme"
  4. Compilar:
    make install

Desafortunadamente no obtuve resultados, a pesar de las tantas veces que lo intenté, así que si ustedes lo lograron les agradecería que me dijeran dónde está mi error.
De cualquier manera logré dar con el Launchpad oficial del equipo de Gnome 3 lo que obviamente significa que son paquetes de debian listos para ser instalados.
No es buena idea instalar paquetes de Ubuntu en Debian, pero estos me parecían insignificantes, así que me decidí.
Primero deben descargar e instalar el paquete base: 

gdebi gnome-shell-extensions-common_3.0.2-1~natty1_all.deb

Posteriormente podrán descargar e instalar las extensiones que requieran:

gdebi gnome-shell-extensions-alternate-tab_3.0.2-1~natty1_all.deb
gdebi gnome-shell-extensions-user-theme_3.0.2-1~natty1_all.deb

Sencillo.