in reply to Piping into system commands

What you have done is the equivalent of:

echo file1 file2 | cp
Does that help?

        - tye (but my friends call me "Tye")