hace como un día decidí probar las exenciones de Gnome en mi Notebook con Debian.

Para instalarlo en Debian en estos momentos las exenciones las encuentro en la rama experimental .

para agregar esto colocamos las sigtes lineas en el archivo source.list ubicado en /etc/apt/

 

#EXPERIMENTAL
deb http://ftp.debian.org/debian/ experimental main
deb-src http://ftp.debian.org/debian/ experimental main

 

ya con esto actualizamos la lista de paquetes

 

apt-get update

 

y ya estamos en condiciones de instalar las extensiones de Gnome Shell 🙂 , como pueden ver en la foto

ahora para instalarlas

 

apt-get install gnome-shell-extensions

 

y para activarlas vamos a Tweak buscamos Gnome Shell Extensions y alli esta la lista de extenciones que podemos marcar para activar., una cosa a agregar a este paso, a buenas y primeras tube que cerrar cesion para que me aparecieran las extenciones de Gnome Shell en Tweak  (sino tienes Tweak instalado lo instalas con :  apt-get install  gnome-tweak-tool ).

como por defecto no están todas las extensiones, pero existe esta web que pille en un Dent de identica https://extensions.gnome.org/

 

hay para descargar usando git o también el código de fuente, recuerda dejar tus extensiones en la carpeta de tu usuario  .local/share/gnome-shell/extensions

Saludos