Ctrl-Z su Windows genera un EOF; per ottenere la stessa cosa su Linux usa Ctrl-D.