gnome-terminal (Gnome)