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

14

Eu só queria perguntar ...

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

Mas eu queria saber se havia uma maneira de manter as configurações dessa maneira, para que, sempre que você iniciar o terminal, ele já esteja executando em uma resolução mais alta?

11.04 command-line gnome-terminal Templário Sombrio
fonte

Respostas:

18

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

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

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

danjjl
fonte
É exatamente isso que faço para obtê-lo permanentemente.
Luis Alvarado
1
Não vejo a opção " Usar a fonte de largura fixa do sistema " na 16.04?
Rudolph9
@ rudolph9 ter editado resposta para dizer 'Select personalizado Font', como isso é o que diz na minha versão (em vez de 'usar a fonte WDTH fixa sistema')
EoghanM
4

Você pode tentar chamar gnome-terminalcom o parâmetro --zoom, por exemplo:

gnome-terminal --zoom=0.8 para diminuir o zoom em 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.

Pavlos G.
fonte