aumentar el relleno en la terminal del gnomo

41

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"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================
Aaron Yodaiken
fuente

Respuestas:

34

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.

Makaze
fuente
2
El archivo gtk.css especificado no existía en mi sistema. Tuve que crearlo (y luego la solución funcionó).
jonS90
Esto funciona perfectamente en pantheon-terminal (sistema operativo elemental Loki) también.
Vishnu M.
2
Si tiene VERDADERO recordando cómo esos números se relacionan con los bordes, es Arriba a la derecha, Abajo, a la izquierda.
Terry Brown
1
@TerryBrown TRouBLe es una buena manera. Otra es pensar en las manecillas que progresan en un reloj analógico: 12-3-6-9 (arriba, derecha, abajo, izquierda).
WinEunuuchs2Unix
9

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;
}
phrz
fuente
Puedo confirmar que esto también funciona para Ubuntu 17.04.
Alp Dener
Funciona en 17.10.
blockloop
Entonces, ¿creo gtk.css para tener solo sus 3 líneas? O, ¿cómo puedo crear uno predeterminado?
Robin Hsu
@RobinHsu si el archivo existe, agréguelo al final. Si no es así, créelo y solo agregue esto.
phrz
Esto no funciona en Ubuntu 18.04.
Alexandre Verri
4

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

paulusm
fuente
3

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.

sudodus
fuente
3

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.

Subroto
fuente
Esto no funciona en Ubuntu 18.04.
Alexandre Verri
2

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.

agnul
fuente
1

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.

Fragos
fuente
1

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.

cristiano
fuente