standard_download procedure

standard_download Procedure

Downloads a file to a destination. It returns either the empty string (indicating failure) or the name of the file on the destination.

standard_download dest file destfile

dest

Destination board.

file

The name of the file to download.

destfile

If the optional destile is specified, that filename will be used on the destination board.