:
# pretoglim.sh -- convert prelude to glim file
#
read header
read dummy
awk '{	for(i=1;i<NF;i++){
		if($(i)==int($(i)))
			printf("%d ",$(i));
		else if($(i)>1)
			printf("%.6f ",$(i));
		else
			printf("%f ",$(i));
		}
	printf("%.4f\n",$(NF))
     }' > glimdat.junk
units=`wc -l < glimdat.junk `
echo "\$units $units 
\$echo
\$data $header
\$read" | sed 's/	/ \
/g' > glimcmds.junk

echo 'Data in glimdat.junk, commands in glimcmds.junk'
echo "Use 'cat glimcmds.junk glimdat.junk command-file | glim' to run "
