Si se introducen los datos por la terminal, el fin de fichero se marca con control-D, como es habitual.