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:
Para usar fontes padrão do sistema:
Pressione o botão de menu no canto superior direito da janela e selecione Preferências.
Na barra lateral, selecione seu perfil atual na seção Perfis.
Selecione Texto.
Desmarque Fonte personalizada.
Para definir um tamanho e fonte personalizados:
Pressione o botão de menu no canto superior direito da janela e selecione Preferências.
Na barra lateral, selecione seu perfil atual na seção Perfis.
Selecione Texto.
Selecione Fonte personalizada.
Clique no botão próximo ao lado de Fonte personalizada.
Digite o nome da sua fonte desejada na campo de pesquisa ou navegue na lista de fontes.
Arraste o controle deslizante 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 controle deslizante 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.
Terminal permite que você separe seus caracteres para melhorar a legibilidade. O espaçamento entre linhas e o espaçamento entre os caracteres podem ser ajustados de 1.0 (o aspecto regular) para 2.0 (“espaçamento duplo”), incluindo valores fracionários.
Pressione o botão de menu no canto superior direito da janela e selecione Preferências.
Na barra lateral, selecione seu perfil atual na seção Perfis.
Selecione Texto.
Vá para a configuração Espaçamento de células.
Para definir o espaçamento horizontal dos caracteres, ajuste o número do multiplicador na frente de largura.
Para definir o espaçamento entre linhas, ajuste o número do multiplicador na frente de altura.
Tem algum comentário? Esbarrou em um erro? Achou as instruções não muito claras? Envie um feedback sobre essa página.