Re: Cambiar la fuente y su tamaño en gdm3
Hola
El día 8 de enero de 2014, 14:15, C. L. Martinez
<carlopmart@gmail.com> escribió:
> 2014/1/8 Camaleón <noelamac@gmail.com>:
>> 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.
Reply to: