¿Cómo cambio la fuente predeterminada para el terminal y gedit?

9

Quiero cambiar el font styleen terminaly por defecto geditcomo well.So cómo cambiar el font type in Ubuntu 12.04? Cualquier ayuda y sugerencias serán apreciables.

Nuevo Usuario
fuente
1
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

Respuestas:

0

No estoy seguro sobre el editor, pero para el terminal simplemente cambie la fuente para el perfil predeterminado desde

Edit -> Profile menú

Salud

S

slowko
fuente
0

Para el terminal, puede hacer clic con el botón derecho en la ventana de contenido (no en la barra de título) y elegir 'Perfiles', luego 'Preferencias de perfil'. Luego obtienes el mismo cuadro de diálogo que se muestra en la respuesta de 0x00F

Xavier Nodet
fuente