Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Usar las tipografías del sistema o elegir una tipografía personalizada para su terminal.
Daniel Mustieles
daniel.mustieles@gmail.com 2012 - 2015
Jorge González
jorgegonz@svn.gnome.org 2007-2010
Francisco Javier F. Serrador
serrador@gnome.org 2001-2006

# Cambiar la tipografía y el estilo

Cuando trabaja con mucho texto en la Terminal puede querer cambiar la tipografía predeterminada a una que prefiera. Tiene las siguientes opciones:

# Tipografía de anchura fija del sistema

Para usar las tipografías predeterminadas del sistema:

Seleccione Editar Preferencias del perfil General.

Seleccione Usar la tipografía de anchura fija del sistema

# Establecer una tipografía personalizada

Para establecer una tipografía personalizada y un tamaño:

Seleccione Editar Preferencias del perfil General.

Asegúrese de que la opción Usar la tipografía de anchura fija del sistema está desmarcada.

Pulse el botón que está junto a Tipografía.

Escriba el nombre de la tipografía que quiere en el campo de búsqueda o examine la lista de tipografías.

Arrastre el deslizador que está debajo de la lista de tipografías para ajustar el tamaño. Alternativamente, puede escribir el tamaño de la tipografía en en campo que está junto al deslizador, o pulsar en los botones + o - para aumentar o disminuir el tamaño, respectivamente.

Pulse Seleccionar para aplicar sus cambios. Para descartar los cambios y volver al diálogo anterior, pulse Cancelar.

# Texto resaltado

La Terminal le permite a la shell procesar texto para que el símbolo del sistema, los nombres de las carpetas o los encabezados de las páginas del manual se muestren en negrita.

Vaya a Editar Preferencias del perfil General.

Seleccione Permitir texto resaltado.

Permitir texto resaltado es una característica específica de la shell. Si está usando una shell que no sea Bash, el comportamiento descrito puede no ser igual.