Como alterar a fonte e o tamanho da letra do terminal do Ubuntu [dica do iniciante]

8 de setembro de 2021

Se você estiver gastando muito tempo usando o terminal no Ubuntu, você pode querer ajustar a fonte e o tamanho para obter uma boa experiência.

Alterar a fonte é uma das maneiras mais simples, mas mais visual de personalização do terminal Linux. Deixe-me mostrar as etapas detalhadas para alterar as fontes do terminal no Ubuntu junto com algumas dicas e sugestões sobre seleção de fontes.

Nota: As etapas devem ser as mesmas para a maioria dos outros emuladores de terminal Linux, mas a maneira como você acessa a opção pode ser diferente.

Alterando fonte e tamanho da letra do terminal do Ubuntu usando a GUI

Etapa 1. Inicie o terminal no sistema Ubuntu usando as teclas Ctrl + Alt + T.

Etapa 2. Vá para para a opção "Preferências" que você pode encontrar quando você clica no menu.

Preferência Terminal

Você também pode dar um clique com o botão direito do mouse em qualquer lugar no terminal para acessar a opção, conforme mostrado abaixo.

Menu do clique direito do terminal

Passo 3. Agora, você deve ser capaz de acessar as configurações do terminal. Por padrão, haverá um perfil sem nome. Este é o perfil padrão. Eu sugiro criar um novo perfil para que suas alterações não afetem as configurações padrão.

opção de preferência do terminal Ubuntu

Passo 4. Para alterar a fonte, você precisa ativar a opção "Fonte personalizada" e, em seguida, clique em "Monospace Regular"

Ativar Fonte Alterar o Terminal Ubuntu

Ele mostrará uma lista de fontes disponíveis para seleção.

Monospace Fonte padrão

Aqui, você recebe uma visualização rápida da fonte na parte inferior da listagem de fontes e também a capacidade de ajustar o tamanho da fonte do terminal do Ubuntu.

Por padrão, ele usa um tamanho de 12 para a fonte e estilo Ubuntu Mono.

Passo 5. Finalmente, você pode procurar por seu estilo de fonte preferido e clicar em "Select" para finalizá-lo depois de olhar para a visualização e ajustar o tamanho da fonte.

seleção de fonte personalizada Ubuntu

É isso. Você mudou com sucesso as fontes. Veja as alterações na imagem abaixo.

Ubuntu Terminal Font 2

Ubuntu terminal fonte 1

Fonte do Terminal Ubuntu 1

Mudança de fonte do terminal do Ubuntu

Dicas sobre como obter novas fontes para o terminal do Ubuntu

Você pode baixar fontes da Internet no formato de arquivo TTF e instalar facilmente essas novas fontes no Ubuntu clicando duas vezes no arquivo TTF.

Instale novas fontes Ubuntu

Você deve abrir uma nova janela de terminal para carregar as fontes recém-instaladas.

No entanto, tenha em mente que o Ubuntu não mostrará todas as fontes recém-instaladas no terminal. Porque? Porque o terminal é projetado para usar fontes monoespaçadas. Fontes que têm letras muito próximas umas das outras podem parecer estranhas. Algumas fontes não oferecem uma clareza adequada entre o caractere O e o número 0. Similarmente, você pode enfrentar problemas na diferenciação do L maiúsculo e i minúsculo.

É por isso que você verá as fontes disponíveis no terminal, muitas vezes com 'mono' em seu nome.

No geral, pode haver muitas questões de legibilidade que poderiam criar mais confusão. Portanto, é melhor selecionar uma fonte que não faça o terminal difícil de ler.

Você também deve verificar se uma fonte parece boa/estranha quando você aumenta/diminui o tamanho da fonte para garantir que você não terá problema ao personalizar a aparência do seu terminal.

Sugestões de fontes para personalização do terminal

Free Mono e Noto Mono são algumas das fontes boas disponíveis na lista padrão de seleções de fontes para escolher no seu terminal.

Você pode tentar instalar novas fontes no Linux como JetBrains Mono, e Robo Mono, Larabiefont, Share Tech Mono e mais da Google Fonts e outras fontes.

Qual estilo de fonte/tamanho você prefere usar com o terminal do Ubuntu? Deixe-nos saber nos comentários abaixo!

Confira também a versão original desse post em inglês
Esse post foi originalmente escrito por Ankush Das e publicado no site itsfoss.com. Traduzido pela rtland.team

How to change Ubuntu Terminal Font and Size [Beginner’s Tip]

Propaganda
Blog Comments powered by Disqus.
Propaganda