¿Cómo hacer un fichero csv que lea gvSIG?

Una de las maneras más sencillas de introducir datos en gvSIG y Sextante es con un fichero csv. Imaginemos que tenemos un fichero con valores xyz y queremos transformarlo en un modelo digital del terreno (=modelo digital de elevaciones, mdt y mde respectivamente). Lo primero que tenemos que hacer es tener un fichero csv que lea gvSIG. Nuestro fichero tiene el siguiente aspecto
715980.000 4396100.000 429.600
715980.000 4396120.000 435.440
715980.000 4396140.000 437.530
....
Necesitamos que tenga este aspecto
692880; 4342540; 403.49
692880; 4342560; 411.44
692880; 4342580; 418.84
692880; 4342600; 414.27
692880; 4342620; 405.76
692880; 4342640; 396.21
692880; 4342660; 408.47
692880; 4342680; 422.46
692880; 4342700; 437.95
692880; 4342720; 450.63
¿Cómo lo hacemos?
Abrimos un terminal y ponemos la siguiente orden:
cat nuestrofichero.txt | awk '{print $1";", $2";", $3}' > nuestrofichero.csv
Ahora ya podemos cargar nuestrofichero.csv en gvSIG y Sextante