Emulador de terminal GNOME com patches Fedora
