Neste post, passaremos por um guia passo a passo sobre como alterar o tamanho da fonte do terminal e, junto com isso, também aprenderemos a alterar outras preferências de um terminal para personalizá-lo de acordo com o nosso gosto. As etapas para personalizar a fonte do terminal são as seguintes.
Etapa 1: Abra o terminal
O primeiro passo é abrir o terminal do Ubuntu 20.04 Sistema LTS. Você pode fazê -lo indo ao menu de aplicativos do Ubuntu e pesquisando o "Terminal". Nos resultados da pesquisa, clique no ícone "terminal", como mostrado na figura fornecida abaixo:
Ou você também pode usar as teclas de atalho do teclado Ctrl+alt+t Para abrir diretamente o terminal no sistema operacional Ubuntu.
Etapa 2: Preferências do terminal aberto
Depois de abrir o terminal do Ubuntu, precisamos abrir as preferências do terminal para alterar o tamanho da fonte do terminal.
Você pode abrir as preferências clicando na opção de hambúrguer no canto superior direito da janela do terminal e clicando na opção de preferências.
Ou você pode clicar com o botão direito do mouse em qualquer lugar entre o terminal e clicar na opção Preferências no menu de contexto.
Você terá uma janela de preferência como esta.
A janela de preferência nos permite ter preferências personalizadas e salvá -las. Por esse motivo, você vê o nome de perfil "sem nome" padrão na barra superior da janela de preferência.
Etapa 3: Ativar personalização da fonte
Depois de abrir a janela Preferências do terminal, verifique se você está na guia Texto, como mostrado na figura fornecida abaixo:
Na guia Texto, clique na caixa de seleção "Fonte personalizada" para ativar a personalização da fonte e alterar o estilo da fonte e o tamanho da fonte.
Etapa 4: Alterar a fonte do terminal
Agora, você pode ver o nome da fonte e a opção de tamanho da fonte se tornaram editáveis. Basta clicar no campo de entrada do “tamanho da fonte” e uma pequena janela aparecerá.
Nesta pequena janela apareceu, você pode procurar a fonte de sua escolha e torná -la a fonte do seu terminal.
Enquanto estiver na seção inferior da janela, você tem um controle deslizante para alterar o tamanho da fonte, ou também pode fornecer diretamente a fonte de sua escolha no campo de entrada ao lado do controle deslizante.
Etapa 5: salve as configurações
Depois de escolher a fonte e o tamanho da fonte certos, não se esqueça de clicar no Selecione botão no canto superior direito da janela.
Depois de voltar à janela de preferência, basta fechar a janela Preferências para salvar as configurações.
Quando você voltar ao terminal, você teria a fonte alterada e o tamanho da fonte de sua escolha.
Conclusão
É assim que é fácil e simples alterar a fonte do terminal e o tamanho da fonte no Ubuntu 20.04 Sistema LTS. Seguindo apenas as etapas simples fornecidas neste post, qualquer iniciante do Linux pode alterar o tamanho da fonte do terminal no Ubuntu.