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
Abrir nueva pestaña
Moverse al terminal encima del actual
Moverse al terminal debajo del actual
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 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 , que se encuentra en . 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 y coméntela con un signo almohadilla (). Agregue su propia línea 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