Hi again… For very small files, I would use…
$ set -o pipefail
$ gzip -c myfile | fly ssh console -C 'bash -c "gunzip -c > /tmp/myfile"'
(The gzip
ing is not so much for the compression as for the built-in error detection.)
(Caveat: -c
has two different meanings above, .)
For larger files and/or entire directory hierarchies, I would use rsync
—but that requires more setup.