Como posso forçar os terminais a terem pelo menos um determinado tamanho?

Question

Gostaria de evitar que qualquer um dos terminais do meu Terminator seja menor que 80x24. Ou seja, eu seria impedido de redimensionar um terminal abaixo desse tamanho, e se eu tentasse dividir um terminal que seria muito pequeno, os terminais existentes seriam encolhidos para caber ou os terminais pai e filho seriam movidos para uma nova janela.

Estou disposto a mudar os programas do terminal, se necessário, embora seja preferível uma boa solução para os ladrilhos, como a do Exterminador do Futuro.

    

Answer 1

Para realizar o que você deseja, você terá que editar o código-fonte para gnome-terminal e reconstruí-lo você mesmo, já que o tamanho mínimo da janela é embutido no aplicativo do terminal. Para fazer isso, siga estas etapas.

Primeiro, vá para link e baixe os arquivos de origem (o arquivo é gnome-terminal_3.6.1.orig.tar.xz). Faça o download para a sua pasta ~/Downloads .

Em seguida, abra um terminal e digite os seguintes comandos:

cd ~/Downloads

tar -xJf gnome-terminal_3.6.1.orig.tar.xz

Isso extrairá a fonte. Agora, abra seu editor de texto favorito e edite o arquivo ~/Downloads/gnome-terminal-3.6.1/src/terminal-window.c . Navegue até a linha 3107, onde você encontrará as variáveis MIN_WIDTH_CHARS e MIN_HEIGHT_CHARS . Edite estes, estes são o mínimo de altura e largura da sua janela de terminal expressa em caracteres (ou seja, um MIN_WIDTH_CHARS de 20 significa que você não pode mais redimensionar a largura da janela para menos de 20 larguras de caracteres)

Em seguida, para construir, em um tipo de terminal cd ~/Downloads/gnome-terminal-3.6.1 . Em seguida, execute ./configure para gerar o makefile (se ele reclamar de algum pacote ausente, instale-o usando apt-get (por exemplo, se ele diz "pacote foo não encontrado" ou similar, use sudo apt-get install foo ). tente instalar auto-apt e usando sudo auto-apt run ./configure (isso tentará instalar todas as dependências), mas quando tentei isso, não consegui pegar tudo (execute o padrão ./configure depois) Isso pode levar algumas tentativas, dependendo de como muitos pacotes estão faltando.

Depois de gerar os makefiles, basta digitar make , seguido de sudo make install . Isso deve reconstruir o programa do terminal. Feche todas as janelas do terminal e, em seguida, a próxima que você iniciar respeitará o tamanho mínimo que você definiu na origem (isto é, não redimensionará abaixo dos valores definidos).

    

Answer 2

1. Prima a super-chave para abrir a lente de pesquisa e procurar: menu principal
2. Quando o aplicativo " Menu principal " estiver em execução, selecione " Acessórios " na no menu esquerdo e selecione " Terminal " no segundo menu.
3. Depois de selecionar as opções " Terminal ", pressione o Botão " Propriedades " à direita. Uma nova janela será aberta com o Propriedades do terminal de inicialização.

4. Vá para a entrada " Comando " e adicione-a ao final da entrada:

   --geometry=132x24
   

   A entrada finalizada deve ser:

   gnome-terminal --geometry=132x24
   

É isso. Feche as janelas e, da próxima vez que você iniciar o terminal, a janela será redimensionada. Você pode ter que sair e fazer login novamente para funcionar corretamente.

(132 x 24 é apenas um exemplo, você pode usar qualquer resolução que quiser)

    

Answer 3

Bem, até onde eu sei, você não pode, a resolução de uma janela do Terminal é baseada nas proporções dos caracteres ... Então, se você alterar o tamanho da fonte, a janela do Terminal será redimensionada para caber a proporção dessa fonte ...

Soa um pouco bobo no começo, mas dado que um terminal simplesmente exibe apenas caracteres de texto, faz sentido, se uma janela é dimensionada por pixels, você geralmente acabaria com espaço desperdiçado quando o tamanho da janela não é exatamente igual a um limite de caracteres ...

    

Answer 4

Se você estiver em uma versão mais antiga do Ubuntu, no clique direito - > janela de propriedades, a primeira guia tem dois campos nos quais você pode editar as linhas e colunas do terminal.

Caso contrário, você pode usar a entrada de comando mencionada na resposta um.

--geometry=132x24

    

Answer 5

O pequeno truque sobre o tamanho padrão foi o tópico aqui . Lá, o visconde do usuário resolveu isso criando um script e colocando-o em / usr / bin / gnome-terminal assim (eu suponho que você use o gnome como gerenciador de janelas):

#!/bin/sh
gnome-terminal --geometry=132x24

Você também pode clicar com o botão direito do mouse no ícone do gnome-terminal em sua barra de tarefas, selecionar propriedades e depois alterar o comando para diferentes comandos como:

gnome-terminal --working-directory=%f --geometry=132x24

Dessa forma, você tem seu próprio tamanho padrão definido.

    

Answer 6

Dê uma olhada aqui:

Alterar a largura padrão das janelas gnome-terminal e terminator

Espero que ajude.