aumenta o preenchimento no terminal gnome

Question

Eu gostaria de aumentar o preenchimento no terminal do gnome, porque o padrão tem não preenchimento e dói meus olhos.

(preenchimento como em: eu quero espaço entre a borda da janela e onde a entrada / saída de texto é exibida.)

Por exemplo:

=[X][-][ ]=============My Terminal==================
|                                                  |
|  $> echo "Padding occurs on both sides for long  |
|     input"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================

    

Answer 1

Editado em 02 de junho de 2018: A partir do Ubuntu 18.04, você precisa adicionar mais um seletor de elementos para que isso funcione.

Paul estava mais certo. Esta solução expandida funciona a partir do Ubuntu 14.04.1 com Terminal GNOME 3.6.2 .

Para todas as versões:

1. Adicione o seguinte código a ~/.config/gtk-3.0/gtk.css :
   

   VteTerminal,
   TerminalScreen,
   vte-terminal {
       padding: 10px 10px 10px 10px;
       -VteTerminal-inner-border: 10px 10px 10px 10px;
   }
   

   Edit: Você precisará criar o arquivo se ele ainda não existir (obrigado jonS90).

2. Mate todas as instâncias do gnome-terminal:

   $ killall gnome-terminal
   

3. Reinicie o terminal gnome.

Answer 2

Eu tentei todas as respostas aqui no Ubuntu 16.10 com o gnome-terminal 3.20.2 e elas não funcionaram. Eu encontrei a solução atualizada em este tópico da barra de lançamento . No arquivo ~/.config/gtk-3.0/gtk.css (que você pode precisar criar), adicione isto:

vte-terminal {
    padding: 10px;
}

    

Answer 3

Para mover a saída do terminal para longe das bordas da janela, crie a folha de estilo ~ / .config / gtk-3.0 / gtk.css com a seguinte configuração:

TerminalScreen {
 -VteTerminal-inner-border: 10px 10px 10px 10px;
}

link

    

Answer 4

Por favor, passe por este problema - Unity Terminal 16.04

O comentário sobre a lista de desejos descreve soluções muito adequadas para os terminais do Ubuntu 16.04, onde precisamos alterar o arquivo ~/.config/gtk-3.0/gtk.css :

VteTerminal,
TerminalScreen {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

TO

VteTerminal {
    padding: 10px;
}

padding funciona da mesma forma que o CSS normal padding .

    

Answer 5

Antigamente, costumava haver X Resources . Criando um arquivo .Xdefaults ou .Xresources em seu diretório inicial, você pode alterar todos os tipos de configurações para aplicativos gráficos.

Os padrões do sistema em minha caixa são encontrados em /etc/X11/Xresources e /etc/X11/app-defaults , mas não sei se o gnome-terminal cuida de qualquer um deles.

Editar : também, isso parece "departamento de tema", então editar arquivos de tema ou iniciar o gnome-terminal com um arquivo .gtkrc personalizado poderia fazer o truque, algo como

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

no terminal, ou editando o gnome-terminal.destktop acima para parecer

Exec=env GTK2_RC_FILES=/home/you/custom-gtkrc gnome-terminal

poderia funcionar.

    

Answer 6

Você pode fazer isso com alguns terminais, por exemplo xterm antigo

xterm -b 10 -title "-b 10" -e nano &
xterm -title "no border spec" -e nano & 

No manual man xterm você encontra como definir fontes, cores de primeiro e segundo plano. Talvez um pouco complicado de configurar, mas muito flexível.

    

Answer 7

Como alternativa, usei a solução alternativa em que você altera o parâmetro left_width do tema (metacity 2) para 15 ou 20 pixels.

Isso torna a borda da janela espessa no lado esquerdo e move a margem esquerda efetiva dentro da janela. Isso funciona bem para mim, pois a cor da borda da janela e a cor do plano de fundo do terminal estão próximas.

Eu pesquisei isso completamente e a única outra maneira de fazer isso é mudar para o xterm terminal como mencionado acima. No entanto, configurar o xterm é penoso e tem que ser feito através do arquivo .Xresources config, não há menu com o xterm.

    

Answer 8

Não encontrei um parâmetro de preenchimento no editor gconf ou dconf. Fiz uma pesquisa no "terminal" com o Centro de Software e encontrei vários aplicativos de terminal. O Gnome costumava facilitar a especificação de diferentes aplicativos de terminal, mas as coisas mudaram um pouco. /usr/share/applications/gnome-terminal.desktop é onde o aplicativo do terminal a ser executado é especificado. Abra esse arquivo e você encontrará:

[New Shortcut Group]
Name=New Terminal
Exec=gnome-terminal
TargetEnvironment=Unity

O Exec = gnome-terminal pode ser alterado para selecionar um aplicativo de terminal diferente. Editar este arquivo é um pouco complicado, porque o tipo mime não é reconhecido por naultilus como editável. Você precisará iniciar a edição na linha de comando da seguinte forma:

sudo gedit /usr/share/applications/gnome-terminal.desktop

Tendo feito essa alteração, a aplicação do terminal pode ser iniciada da mesma forma que antes, mas a sua aplicação de terminal alternativa será executada.