Como posso alterar permanentemente o tamanho do texto para o gnome-terminal?

Question

Eu só queria perguntar ...

Parece que você precisa pressionar Ctrl + - (ctrl mais o sinal de menos) para obter melhor resolução (texto menor) ao executar o terminal.

Mas eu queria saber se havia uma maneira de manter as configurações desse jeito, para que sempre que você inicializar o terminal ele já esteja com uma resolução maior?

    

Answer 1

Você pode definir manualmente o tamanho do texto em um terminal:

1. abrindo um terminal
2. Editar - > Preferências de perfil
3. selecione Fonte personalizada (ou desmarque Use a fonte de largura fixa do sistema em versões mais antigas)
4. Escolha sua fonte e tamanho

Você também pode escolher o tamanho do terminal selecionando Usar tamanho de terminal padrão personalizado e definindo um número de linhas e colunas.

    

Answer 2

Você pode tentar invocar gnome-terminal com o parâmetro --zoom , por exemplo:

gnome-terminal --zoom=0.8 para reduzir 20% (80% do tamanho original)

A documentação limitada para este parâmetro é encontrada executando

gnome-terminal --help-all

Você pode tocar um pouco com os diferentes tamanhos de zoom para encontrar o apropriado e editar seus atalhos de acordo.