O Gnome Terminal ignora o tamanho do perfil padrão

Question

Estou usando o Gnome 3.6 Ubuntu 12.10 kernel 3.5. Meu problema é que tenho meu perfil padrão para o terminal do gnome definido como 80x43. No entanto, na maioria das vezes, ao iniciar o terminal do Gnome a partir do lançador, o padrão é um tamanho um pouco menor (em linha). Ele mantém a largura da coluna correta, mas em vez de 43 linhas de altura, é algo menor (cerca de 38-40). As partes confusas são: 1) Às vezes abre com o tamanho correto do terminal. 2) Ele sempre abre para o tamanho correto do terminal quando eu crio uma nova janela dentro do terminal Gnome.

Qualquer ideia quanto a essa inconsistência.

    

Answer 1

Eu suspeito que a execução do gnome-terminal através do launcher examine o arquivo .desktop do gnome-terminal em / usr / share / applications.
Para testar isso, copie o arquivo .desktop relevante para ~ / .local / share / applications. Em seguida, abra o arquivo copiado no gedit, não há necessidade de sudo e observe a linha que começa com Exec= . Insira --geometry 80x43 após gnome-terminal deixando um único espaço. Salve o arquivo. Feche e tente executar o gnome-terminal do launcher novamente.
Eu não posso testar isso já que eu não tenho o gnome-terminal instalado, mas nada destrutivo pode acontecer. Se não funcionar como desejado, basta excluir o arquivo copiado e o ativador usará o arquivo original em /usr/share/applications .