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

Question

Eu só queria perguntar...

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

Mas eu queria saber se existe uma maneira de manter as configurações dessa forma, para que sempre que você inicializar o terminal ele já esteja funcionando em maior resolução?

Answer 1

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

1. abrindo um terminal
2. Editar->Preferências de perfil
3. selecioneFonte personalizada(ou desmarqueUse a fonte de largura fixa do sistemaem versões mais antigas)
4. Escolha sua fonte e tamanho

Você também pode escolher o tamanho do terminal selecionandoUse tamanho de terminal padrão personalizadoe definir um número de linhas e colunas.

Answer 2

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

gnome-terminal --zoom=0.8para diminuir o zoom em 20% (80% do tamanho original)

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

gnome-terminal --help-all

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