Hola El día 8 de enero de 2014, 14:15, C. L. Martinez <[email protected]> escribió: > 2014/1/8 Camaleón <[email protected]>: >> El Wed, 08 Jan 2014 18:13:12 +0000, C. L. Martinez escribió: >> >>> Supongo que es trivial, pero desde san google no encuentro el como >>> hacerlo a menos que utilice un programita llamado gdm3setup, pero >>> personalmente no estoy por la labor de hacerlo a menos que no me quede >>> otra. >>> >>> ¿Alguien sabe como cambiar la fuente y su tamaño en gdm3 (via el >>> archivo greeter.gsettings) en Debian wheezy 7.3?? Es sencillamente >>> enorme la que trae por defecto.
Puedes mirar esto a ver si es lo que buscas. https://github.com/Nano77/gdm3setup >> >> Pues verás, para cambiar los tipos de letra y sus tamaños en GNOME3 he >> tenido que tocar dos cosas: gnome-tweak-tool y editar manualmente el >> archivo que está en "/usr/share/gnome-shell/theme/gnome-shell.css". >> >> Este último cambia cada vez que se actualiza el paquete gnome-shell así >> que ojo, pero ahí deben estar los tipos de letra de gdm3 porque yo ahora >> mismo lo tengo a Tahoma punto 8. >> >> Saludos, >> > > > Tenia entendido que las fuentes que aparecen en el archivo > gnome-shell.css solo eran de configuración para el escritorio y no > para gdm3 ... > Saludos. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/caa1fmeo_wdhq1dsmyhse2q1m_2ghg9dgvkqqdipdyvvw5-v...@mail.gmail.com
