Terminator
Terminator is a terminal emulator which supports tabs and multiple resizable terminal panels in one window. It is based on GNOME Terminal.
Installation
terminator is available in the official repositories. Install terminator-gitAUR for the latest (trunk) version.
Configuration
See the man page or right click Terminator then click Preferences.
man terminator_config
User-specific configurations can be found in ~/.config/terminator/config
.
GTK customization
Terminator supports tabs. Tab header height is sometimes considered too big. This can be fixed with gtk styling.
From version 1.9 Terminator uses GTK 3, so that configuration can be done in ~/.config/gtk-3.0/gtk.css
.
The items to customize are 'notebook tab', 'notebook tab button'. (note that this affects other gtk3 applications, too).
Example config:
~/.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; }
Key commands
F11
Toggle fullscreen
Ctrl+Shift+o
Split terminals horizontally
Ctrl+Shift+e
Split terminals vertically
Ctrl+Shift+w
Close current Panel
Ctrl+Shift+t
Open new tab
Alt+Up
Move to the terminal above the current one
Alt+Down
Move to the terminal below the current one
Alt+Left
Move to the terminal left of the current one
Alt+Right
Move to the terminal right of the current one
Managing profiles
It is possible to start terminator with a random profile every time. To avoid unexpected behavior, you should start with a clean [profiles]
section. You can copy the one from this file. It contains many well-known color schemes. Copy its contents to your config
file, which is located in ~/.config/terminator/
. Then, cat
your list of profiles to a destination of your choice.
cat $HOME/.config/terminator/config | grep -B 1 'background_color' | grep '\]\]' | tr -d '[]' > $HOME/.config/terminator/profiles
When you add more profiles in the future and would like to have them included in the startup pool, you will have to reissue the command above. You can create an alias.
You must now modify Terminator's desktop file so that it selects a random profile from this list at startup.
sudoedit /usr/share/applications/terminator.desktop
Find the Exec
line and comment it out with #
. Add your own Exec
line as follows.
# Exec=terminator Exec=sh -c "terminator -p $( shuf -n 1 $HOME/.config/terminator/profiles )"
Save the file and restart your desktop environment.
See also
- Terminator - Official site
- https://github.com/gnome-terminator/terminator - GitHub