Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Use os tipos de letra do sistema ou seleccione un tipo de letra personalizado para o seu terminal.
Fran Dieguez
frandieguez@gnome.org 2013.
Leandro Regueiro
leandro.regueiro@gmail.com 2011.

# Cambiar o tipo de letra e estilo

Cando traballa con moito texto no Terminal, pode querer cambiar o tipo de letra predeterminado á súa elección. Debe seguir as seguintes opcións:

# Tipo de letra de largura fixa do sistema

Para usar os tipos de letra predeterminados do sistema:

Vaia a Editar Preferencias do perfíl Xeral.

Seleccione Usar o tipo de letra de largura fixa do sistema.

# Estabelecer un tipo de letra personalizado

Para estabelecer un tipo de letra e tamaño personalizado:

Seleccione Editar Preferencias de perfíl Xeral.

Asegúrese de que a opción Usar o tipo de letra de largura fixa do sistema está desmarcada.

Prema o botón ao carón de Tipo de letra.

Escriba o nome do tipo de letra que desexa no campo de busca ou explore a lista de tipos de letra.

Drag the slider that is below the font list to set the font size. Alternatively, you can type in the font size into the field next to the slider, or click on + to increase font size or - to decrease selected font size.

Click Select to apply your changes. To discard changes and go back to previous dialog, click Cancel.

# Texto en negriña

O Terminal permítelle á súa shell procesar texto como o prompt, nomes de cartafol e cabeceiras de páxinas man para que aparezan en negriña.

Vaia a Editar Preferencias do perfíl Xeral

Seleccione Permitir texto en negriña.

Allow bold text is a shell specific feature. If you are using a shell other than Bash, then the described behaviour may not be similar.