gnome-terminal as def