"GNOME Terminal"@cs .