In ambito "terminale" quando si hanno degli spazi si hanno sempre dei problemi..un metodo per risolvere questo problema è racchiudere il nome del file tra due apici semplici '..ovvero
SHELL "miotool" & "'"(nomefile) & "'" & ">" & User.Home &/ "tmp.html"
In questo modo il terminale leggerà qualcosa del tipo:
miotool 'nome con spazi' > home/geppetto/tmp.html
In questo modo il nome del tuo file anche se ha spazi non causerà più alcun problema..;-)