Quiero cambiar el font style
en terminal
y por defecto gedit
como well.So cómo cambiar el font type in Ubuntu 12.04
? Cualquier ayuda y sugerencias serán apreciables.
1
Posible duplicado ¿Cómo cambio las fuentes y ajusto su tamaño?
—
covernail
No es un duplicado total. Aunque el cambio de las fuentes del sistema está cubierto en el enlace, el cambio de las fuentes en el terminal y gedit no.
—
amc