Terminator (Español)
Terminator es un emulador de terminal que admite pestañas y múltiples paneles de terminales redimensionables en una misma ventana. Se basa en GNOME terminal.
Instalación
terminator está disponibles en los repositorios oficiales. Instale terminator-gtk3-bzrAUR[enlace roto: package not found] para obtener la última versión (troncal).
Configuration
Vea la página del manual o haga clic con el botón secundario del ratón en la interfaz de Terminator y luego haga clic en Preferencias.
man terminator_config
La configuración específica del usuario se puede encontrar en ~/.config/terminator/config
.
Personalización GTK
Terminator admite pestañas. La altura del encabezado de la pestaña a veces se considera demasiado grande. Esto se puede solucionar con la estilización GTK.
Desde la versión 1.9 Terminator utiliza GTK 3, de modo que la configuración se puede realizar en ~/.config/gtk-3.0/gtk.css
.
Los elementos para personalizar son 'panel de pestaña', 'botón de panel de pestaña' (tenga en cuenta que esto también afecta a otras aplicaciones gtk3).
Ejemplo de configuración:
~/.config/gtk-3.0/gtk.css
notebook tab { min-height: 0; padding: 2px; } notebook tab button { min-height: 0; min-width: 0; padding: 1px; margin: 1px; }
Órdenes de teclado
F11
Alternar pantalla completa
Ctrl + Mayús + O
Dividir terminales horizontalmente
Ctrl + Mayús + E
Dividir terminales verticalmente
Ctrl + Mayús + W
Cerrar el panel actual
Ctrl + Mayús + T
Abrir nueva pestaña
Alt + ↑
Moverse al terminal encima del actual
Alt + ↓
Moverse al terminal debajo del actual
Alt + ←
Moverse a la terminal a la izquierda de la actual
Alt + →
Moverse al terminal a la derecha del actual
Gestionar perfiles
Es posible iniciar Terminator con un perfil aleatorio cada vez. Para evitar comportamientos inesperados, debe comenzar con una sección [profiles]
limpia. Puede copiar el perfil de este archivo: https://pastebin.com/gGvYH6zD. Contiene muchos esquemas de color bien conocidos. Copie su contenido en su archivo config
, que se encuentra en ~/.config/terminator/
. Luego, con la orden cat
envíe su lista de perfiles al destino de su elección.
cat $HOME/.config/terminator/config | grep -B 1 'background_color' | grep '\]\]' | tr -d '[]' > $HOME/.config/terminator/profiles
Si agrega más perfiles en el futuro y desea que se incluyan en el grupo de inicio, deberá volver a emitir la orden anterior. Puede crear un alias.
Ahora debe modificar el archivo desktop de Terminator para que seleccione un perfil aleatorio de esta lista al inicio.
sudoedit /usr/share/applications/terminator.desktop
Busque la línea Exec
y coméntela con un signo almohadilla (#
). Agregue su propia línea Exec
de la siguiente manera:
# Exec=terminator Exec=sh -c "terminator -p $( shuf -n 1 $HOME/.config/terminator/profiles )"
Guarde el archivo y reinicie su entorno de escritorio.
Arrastrar y soltar
El diseño se puede modificar moviendo terminales con la función «Arrastrar y soltar».
Más órdenes de teclado
man terminator
Véase también
- Terminator — Sitio oficial
- Terminator BZR — Código fuente