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

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.

ubuntu-font-family

— Nuevo Usuario
fuente

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

Respuestas:

Instale la herramienta gnome-tweak :

sudo apt-get install gnome-tweak-tool

retocar

En las fuentes puede cambiar la fuente de todo el sistema.

Para gedit:

_{(fuente: iloveubuntu.net )}

Para terminal:

— abybaddi009
fuente

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

Edit -> Profile menú

Salud

— slowko
fuente

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

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.

Licensed under cc by-sa 3.0 with attribution required.