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-git^AUR 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

Open new tab

Move to the terminal above the current one

Alt+Down Move to the terminal below the current one

Move to the terminal left of the current one

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 file, which is located in . Then, 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.