El día 10 de noviembre de 2011 19:52, Juan Antonio <push...@limbo.ari.es> escribió: > > En archlinux estan en los repositorios oficiales, y hay mas en AUR. No se si > en debian se distribuirán también en los repos. La idea es crear un > repositorio oficial para servir las extensiones y poderlas instalar y > gestionar desde la misma web, tipo extensiones de firefox. > > Un saludo. > >
Según qué extensiones ya no sirven para las versiones más recientes de Gnome Shell, que no es lo peor, sino que cuando algunas se quedan obsoletas fastidian la carga de Gnome hasta que sean deshabilitadas por consola. Hay por ahí una extensión que mueve los iconos de la barra de abajo a la de arriba, en AUR se llama gnome-shell-extension-icontopbar. Voy a ver si va en Debian. -- http://elhistorias.com -- To UNSUBSCRIBE, email to debian-user-spanish-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/cadbj6oahctl0-xhjx5opttwkhnyn5xoopva7ep_oa_aqckj...@mail.gmail.com
