2012/2/4 Carlos Zuniga <[email protected]>: > 2012/2/4 Camaleón <[email protected]>: >> Hola, >> >> Parece que en wheezy ya se pueden instalar temas en gnome-shell pero me >> pide una extensión para poder instalarlos ("extensión del tema de usuario >> no instalada"). >> >> ¿De qué extensión/paquete se trata? >> > Hola, > > Será este, supongo: > https://extensions.gnome.org/extension/19/user-themes/ >
Parece que esa extension es parte del paquete gnome-shell-extensions en Debian, pero esta solo en experimental http://packages.debian.org/experimental/gnome-shell-extensions -- Linux Registered User # 386081 A menudo unas pocas horas de "Prueba y error" podrán ahorrarte minutos de leer manuales. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/caabycjnw75rt3ygequ19snggyuqnc68ujttbnoyo4m_zygf...@mail.gmail.com
