Alterar tamanho da fonte Ubuntu Terminal

A maioria dos usuários do Linux passa um bom tempo usando o terminal para vários fins, seja ele está instalando um novo software, mantendo seu sistema, verificando os detalhes do hardware e muitas outras atividades. Então, faz sentido querer personalizar o terminal para dar uma sensação mais pessoal.

Neste artigo, estaremos analisando como você pode alterar o tamanho da fonte e a fonte do terminal, além de algumas personalizações mais legais.

Etapa 1: Abra uma nova janela do terminal

A primeira etapa do processo é abrir uma nova janela do terminal, de onde você pode fazer as alterações necessárias. Então, abra -o da barra lateral do Ubuntu ou pressione Ctrl + Alt + T no teclado.

Etapa 2: vá para as preferências

O próximo passo é acessar a opção de preferências no terminal.

Aqui, você pode configurar sua configuração pessoal para o terminal. É importante ter em mente que essas preferências são principalmente limitadas à aparência do terminal, não à funcionalidade. Portanto, você não deve se preocupar em alterar erroneamente algumas configurações funcionais da linha de comando, pois esse não é o caso aqui. Por meio de preferências, você pode criar um novo perfil, que conterá e lembre -se de todas as suas preferências e carregá -las toda vez que você o usar.

Vá em frente e clique com o botão direito do mouse em qualquer lugar do terminal e um menu suspenso deve aparecer. Selecione a opção Preferências no menu. Isso também pode ser feito através do botão de três linhas paralelas no canto superior direito da tela.

Etapa 3: Crie um perfil

Antes de configurar nossas preferências e alterar as configurações da fonte, primeiro, precisamos criar um novo perfil. Clique no botão + ao lado da guia Perfis para começar.

Em seguida, você será solicitado a inserir um nome para o perfil. Todo novo perfil criado é primeiro, dadas as configurações padrão, como você pode ver na caixa de diálogo. No entanto, uma vez que tivermos o perfil pronto, mudaremos essas configurações para o nosso próprio gosto.

Etapa 4: Alterar as configurações da fonte

Com nosso novo perfil em funcionamento, é hora de configurar nossas preferências em relação à fonte do terminal. O primeiro passo é verificar a caixa ao lado da opção de fonte personalizada. Isso nos permitirá selecionar qualquer fonte de nossa escolha e definir seu tamanho.

Como você pode ver, a fonte padrão é o Monospace regular com o tamanho 12. No entanto, podemos mudar tão facilmente. Clique no nome da fonte e você verá uma lista de fontes pop -up. Existem muitas opções para escolher, e você pode experimentar o que você mais gosta. Se você está procurando algo específico, sinta -se à vontade para digitá -lo e procurá -lo na caixa de pesquisa. Há também um tamanho de fonte definindo no fundo com o qual você pode brincar. Depois de decidir, clique no botão Selecionar no canto superior direito e ver como se sua fonte se parece no terminal.

Etapa 5: selecione seu perfil

Agora que todos vocês estão feitos com sua configuração de fonte, a etapa final é selecionar o perfil que você criou. Você pode fazer isso clicando no pequeno botão de seta ao lado do nome do perfil e selecionando o conjunto como padrão. Com isso feito, você está pronto para ir. Reinicie seu terminal e suas preferências de fonte devem ser aplicadas.

Modificações adicionais

Agora que lidamos com a “carne” da questão, vamos dar uma olhada em algumas modificações mais possíveis que podemos fazer no terminal para nossas necessidades pessoais.

Navegue de volta para o menu Preferências e você verá mais opções de personalização ao lado da guia Texto. Essas opções são cores, rolagem, comando e compatibilidade. Nesta seção, discutiremos algumas dessas opções brevemente.

Vamos começar com cores. Há uma caixa de seleção logo abaixo do título de texto e fundo de fundo. Para ativar a configuração do usuário, você deve desmarcar a opção "Usar cores do tema do sistema". Em seguida, temos muitas opções para explorar. Você pode experimentar esquemas embutidos, mexer com as cores de fundo e texto, selecione uma paleta de sua escolha e mais. Sinta -se à vontade para brincar com essas opções, pois certamente há muito o que explorar aqui.

Agora que terminamos de definir nossas preferências, vamos dar uma olhada em como são os resultados.

Finalmente, vamos explorar a guia Rolling. Aqui você pode selecionar se deseja mostrar a barra de rolagem ao lado do texto ou rolar quando a saída é exibida. Além disso, você também pode alterar se deseja desativar a rolagem no pressionamento de teclas e definir um limite numérico para rolar de volta.

Conclusão

Neste tutorial, aprendemos como você pode alterar sua fonte e o tamanho da fonte do texto em seu terminal. Pode ser um grande alívio para alguém que é um usuário de terminal ávido e regular, já que a personalização pessoal faz com que tudo pareça mais acolhedor e conveniente.