geetools.batch.utils.downloadFile

geetools.batch.utils.downloadFile(url, name, extension, path=None)

Download a file from a given url.

Parameters:

• url (str) – full url

• name (str) – name for the file (can contain a path)

• extension (str) – extension for the file

Returns:

the created file (closed)

Return type:

file