How does one copy files between machines to which one is connected via SSH. The regular cp dirpath/filename at machine_name . does not seem to work. Thanks Pervaz