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" |
| |
| |
| |
====================================================
command-line
gui
gnome-terminal
Aaron Yodaiken
fuente
fuente
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:fuente
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:
https://bbs.archlinux.org/viewtopic.php?id=163964
fuente
Puede hacerlo con algunos terminales, por ejemplo, xterm antiguo
En el manual
man xterm
encontrará cómo configurar las fuentes, los colores de primer plano y de fondo. Quizás un poco complicado de configurar, pero muy flexible.fuente
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
:A
padding
funciona igual que el CSS normalpadding
.fuente
En los viejos tiempos solía haber X Resources . Al crear un archivo
.Xdefaults
o.Xresources
en 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/Xresources
y,/etc/X11/app-defaults
pero 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
.gtkrc
archivo personalizado podría ser el truco, algo así comoen la terminal, o editando el gnome-terminal.destktop de arriba para que se vea como
podría funcionar.
fuente
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á:
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:
Una vez realizado ese cambio, la aplicación de terminal puede iniciarse igual que antes, pero se ejecutará su aplicación de terminal alternativa.
fuente
Alternativamente, he usado la solución alternativa donde cambia el
left_width
parámetro del tema (metacity 2) a15
o20
pí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
xterm
terminal como se mencionó anteriormente. Sin embargo, configurar xterm es una molestia y debe hacerse a través del.Xresources
archivo de configuración, no hay menú con xterm.fuente