Modified handling of terminal commands to accomodate gnome-terminal