Personalize o tamanho do terminal sem iniciar o terminal

3

Mudei o tamanho do meu terminal para um número muito grande e agora o terminal continua piscando quando iniciado e o menu no canto superior esquerdo não aparece (minha máquina é Ubuntu 12.04)

Existe alguma maneira de alterar o tamanho do meu terminal sem ativá-lo?

Estou procurando soluções e alguém mencionou o arquivo gconf.xml , mas na minha pasta ./gconf/apps não existe essa pasta chamada gnome-terminal

    
por user300232 03.07.2014 / 21:10

2 respostas

2

Instale o gconf-editor:

sudo apt-get install gconf-editor

então você pode encontrar as configurações aqui:

Defina use_custom_default_siz para false .

Acima, nesta janela, você também encontrará os dois valores de tamanho, se desejar alterar apenas isto:

Você também pode alterar as configurações da linha de comando ou criar um arquivo de script com:

gconftool --type Boolean --set /apps/gnome-terminal/profiles/Default/use_custom_default_size false

e executá-lo, você não precisa da janela do terminal para executar um arquivo de script.

Mais informações sobre o Gconf: Como uso o editor gconf?

    
por TuKsn 04.07.2014 / 00:07
2

Se você tiver o GNOME Classic, clique com o botão direito do mouse no ícone do terminal, selecione "Propriedades" e defina o comando para gnome-terminal --geometry=80x24 .

Se você tiver o Unity, poderá criar um lançador com esse comando dessa maneira:

Como posso criar lançadores no meu desktop?

    
por Charo 04.07.2014 / 00:54