Me gustaría aumentar el relleno en la terminal de gnomo, porque el valor predeterminado no tiene relleno y me duele los ojos.

(Relleno como en: Quiero espacio entre el borde de la ventana y donde se muestra la entrada / salida de texto).

Por ejemplo:

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

Editado el 02 de junio de 2018: a partir de Ubuntu 18.04, debe agregar un selector de elementos más para que esto funcione.

Paul tenía toda la razón. Esta solución ampliada funciona a partir de Ubuntu 14.04.1 con GNOME Terminal 3.6.2 .

Para todas las versiones:

1. Agregue el siguiente 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: Necesitará crear el archivo si aún no existe (gracias jonS90).

2. Mata todas las instancias de gnome-terminal:

   $ killall gnome-terminal
   

3. Reinicie gnome-terminal.

Intenté todas las respuestas aquí en Ubuntu 16.10 con gnome-terminal 3.20.2 y no funcionaron. Encontré la solución actualizada en este hilo de la plataforma de lanzamiento . En el archivo ~/.config/gtk-3.0/gtk.css(que puede necesitar crear), agregue esto:

vte-terminal {
    padding: 10px;
}

Para alejar la salida del terminal de los bordes de la ventana, cree la hoja de estilo ~ / .config / gtk-3.0 / gtk.css con la siguiente configuración:

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

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

Puede hacerlo con algunos terminales, por ejemplo, xterm antiguo

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

En el manual man xtermencontrará cómo configurar las fuentes, los colores de primer plano y de fondo. Quizás un poco complicado de configurar, pero muy flexible.

Revise este problema: Unity Terminal 16.04

El comentario en la lista de deseos que se describe es una solución muy adecuada para los terminales Ubuntu 16.04, donde necesitamos cambiar el archivo ~/.config/gtk-3.0/gtk.css:

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

A

VteTerminal {
    padding: 10px;
}

paddingfunciona igual que el CSS normal padding.

En los viejos tiempos solía haber X Resources . Al crear un archivo .Xdefaultso .Xresourcesen su directorio de inicio, puede cambiar todo tipo de configuraciones para aplicaciones gráficas.

Los valores predeterminados de todo el sistema en mi caja se encuentran en /etc/X11/Xresourcesy, /etc/X11/app-defaultspero no sé si gnome-terminal se preocupa por alguno de esos.

Editar : también, esto parece "departamento de temas", por lo que editar archivos de temas o iniciar gnome-terminal con un .gtkrcarchivo personalizado podría ser el truco, algo así como

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

en la terminal, o editando el gnome-terminal.destktop de arriba para que se vea como

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

podría funcionar.

No pude encontrar un parámetro de relleno en el editor gconf o dconf. Hice una búsqueda en "terminal" con el Centro de software y encontré varias aplicaciones de terminal. Gnome solía facilitar la especificación de diferentes aplicaciones de terminal, pero las cosas han cambiado un poco. /usr/share/applications/gnome-terminal.desktop es donde se especifica la aplicación de terminal a ejecutar. Abra ese archivo y encontrará:

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

Exec = gnome-terminal se puede cambiar para seleccionar una aplicación de terminal diferente. Editar este archivo es un poco complicado porque naultilus no reconoce su tipo mime como editable. Deberá iniciar la edición desde la línea de comandos de la siguiente manera:

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

Una vez realizado ese cambio, la aplicación de terminal puede iniciarse igual que antes, pero se ejecutará su aplicación de terminal alternativa.

Alternativamente, he usado la solución alternativa donde cambia el left_widthparámetro del tema (metacity 2) a 15o 20píxeles.

Esto hace que el borde de la ventana sea grueso en el lado izquierdo y mueve el margen izquierdo efectivo dentro de la ventana. Esto funciona bien para mí, ya que el color del borde de la ventana y el color de fondo del terminal están cerca.

Investigué esto a fondo y la única otra forma de hacerlo es cambiar al xtermterminal como se mencionó anteriormente. Sin embargo, configurar xterm es una molestia y debe hacerse a través del .Xresourcesarchivo de configuración, no hay menú con xterm.