Eu gostaria de aumentar o preenchimento no terminal gnome, porque o padrão não possui preenchimento e machuca meus olhos.

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

Por exemplo:

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

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 quase certo. Esta solução expandida funciona a partir do Ubuntu 14.04.1 com o GNOME Terminal 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;
   }
   

   Editar: 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 gnome-terminal.

Tentei todas as respostas aqui no Ubuntu 16.10 com o gnome-terminal 3.20.2 e elas não funcionaram. Encontrei a solução atualizada neste encadeamento da barra de ativação . No arquivo ~/.config/gtk-3.0/gtk.css(que talvez você precise criar), adicione isto:

vte-terminal {
    padding: 10px;
}

Para afastar a saída do terminal 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;
}

https://bbs.archlinux.org/viewtopic.php?id=163964

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 xtermvocê encontra como definir fontes, cores de primeiro e segundo plano. Talvez um pouco complicado de configurar, mas muito flexível.

Por favor, passe por este problema - Unity Terminal 16.04

O comentário na lista de desejos descreve são soluções muito adequadas para os terminais 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;
}

PARA

VteTerminal {
    padding: 10px;
}

paddingfunciona da mesma forma que o CSS normal padding.

Nos velhos tempos, costumava haver X Resources . Ao criar um arquivo .Xdefaultsou .Xresourcesem seu diretório pessoal, você pode alterar todos os tipos de configurações para aplicativos gráficos.

Padrões de todo o sistema na minha caixa são encontrados /etc/X11/Xresourcese, /etc/X11/app-defaultsmas eu não sei se o gnome-terminal se importa com algum deles.

Edit : também, isso parece "departamento de tema", então editar arquivos de tema ou iniciar o gnome-terminal com um .gtkrcarquivo personalizado pode 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 trabalhar.

Não consegui encontrar um parâmetro de preenchimento no editor gconf ou dconf. Eu fiz uma pesquisa no "terminal" com o Software Center 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 de 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 uma aplicação de terminal diferente. A edição deste arquivo é um pouco complicada, porque o tipo mime não é reconhecido pelo naultilus como editável. Você precisará iniciar a edição na linha de comando da seguinte maneira:

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

Depois de fazer essa alteração, o aplicativo de terminal pode ser iniciado da mesma maneira que antes, mas seu aplicativo de terminal alternativo será executado.

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

Isso torna a borda da janela grossa 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 de fundo do terminal estão próximas.

Eu pesquisei isso completamente e a única outra maneira de fazer isso é mudar para o xtermterminal conforme mencionado acima. No entanto, configurar o xterm é uma tarefa difícil e precisa ser feita através do .Xresourcesarquivo de configuração, não há menu no xterm.