Ubuntu 16.04 aspecto da fonte do gnome-terminal: como alterar a relação altura / largura?

Question

Acabei de atualizar para o Ubuntu 16.04 a partir de 14.04 e uso o Unity.

O gnome-terminal parece ter perdido opções para controlar sua aparência e é muito decepcionante ...: (

Por exemplo, eu verifiquei com screenshots da versão anterior, a fonte parece mais ampla: na verdade, para fontsize 11, eu poderia caber 93 caracteres em uma linha usando uma meia tela, enquanto apenas 80 agora ...). Tenho certeza de que havia uma opção antes para controlar a proporção da fonte e, pessoalmente, prefiro ter mais caracteres em uma linha ...

Desapareceu para sempre? Existe uma solução alternativa?

Além disso, agora, há a barra de rolagem à direita que não desaparece. Como se livrar disso?

    

Answer 1

Ah, agora eu lembro como mudei a proporção de fonte nas versões anteriores do Ubuntu. Eu usei unity-tweak-tool , exatamente como descrito neste answer (Em Aparência, Fontes, Fator de escala de texto). Então, mais tarde, eu decidi que a ferramenta de ajuste de unidade era uma espécie de programa perigoso e eu a desinstalei, é por isso que esqueci, eu acho.

Vou tentar descobrir se existe uma maneira de fazer o mesmo sem a ferramenta de ajuste de unidade e depois edite esta resposta em caso afirmativo.

Para a barra de rolagem, como @doug disse em seu comentário, está em Editar > Preferências na guia "Rolagem".

[EDIT: Como alterar a fonte padrão com o editor-dconf]

Sem as ferramentas de ajuste de unidade, o dconf-editor faz o trabalho, você só precisa saber onde encontrar o parâmetro:

1. Executar dconf-editor em um terminal.
2. navegue até: org > gnome > área de trabalho > interface
3. Edite os campos monospace-font-name e texto-fator de escala . No meu caso, eu configurei para 'Ubuntu Mono 12' e 0,9 respectivamente.
4. feche o editor do dconf
5. no gnome-terminal, abra as preferências do seu perfil e escolha usar a fonte padrão.