Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Use fontes do sistema ou escolha uma fonte personalizado para seu terminal.
Luciana Bastos de Freitas Menezes
lubfm@gnome.org 2007.
Pedro Vaz de Mello de Medeiros
pedrovmm@gmail.com 2007.
Leonardo Ferreira Fontenelle
leonardof@gnome.org 2008.
Andrius da Costa Ribas
andriusmao@gmail.com 2008.
Enrico Nicoletto
liverig@gmail.com 2009, 2013.

# Alterando fonte e estilo

Quando você trabalhar com muito texto no Terminal, você pode querer alterar a fonte padrão de acordo com suas preferências. Você tem as opções a seguir:

# Fonte de largura fixa do sistema

Para usar fontes padrão do sistema:

Vá até Editar Preferências do perfil Geral.

Selecione Usar a fonte de largura fixa do sistema.

# Definindo uma fonte personalizada

Para definir um tamanho e fonte personalizados:

Selecione Editar Preferências do perfil Geral.

Certifique-se de que a opção Usar a fonte de largura fixa do sistema está desmarcada.

Clique no próximo ao lado de Fonte.

Digite o nome da sua fonte desejada na campo de pesquisa ou navegue na lista de fontes.

Arraste o deslizador que está embaixo da lista de fontes para definir o tamanho da fonte. Alternativamente, você pode digitar o tamanho da fonte no campo ao lado do deslizador ou clique no + para aumentar o tamanho da fonte ou - para diminuir o tamanho da fonte selecionada.

Clique Selecione para aplicar suas alterações. Para descartar alterações e voltar à janela anterior, clique Cancelar.

# Texto em negrito

Terminal permite seu shell processar textos como o prompt, nomes de diretórios ou títulos de páginas de manual para aparecer em negrito.

Vá em Editar Preferências do perfil Geral

Selecione Permitir texto em negrito.

Permitir texto em negrito é um recurso específico de shell. Se você está usando uma shell diferente de Bash, então o comportamento descrito pode não ser similar.