#12279·enso

`Data.download` multiple

Author: GregoryTravisCreated Feb 13, 2025Updated Apr 30, 2026

Labelsp-low-libs

uri param can be a vector of Text/URI
file param changes to Writable_File | File_Destination (with conversion from Writable_File
replace_existing is applied to each item separately
returns File | Vector
Downloading two or more URIs to a File destination adds a numerican suffix to the destination filenames

type File_Destination
    # For a single file, download to the specified file, possibly adding a prefix to the name.
    # For multiple files, add numbered suffixes to the files, as well as an optional prefix.
    File file:(File_Like | Text) with_prefix:Text=''

    # Download all files to the specified directory. Create the directory if it does not exist.
    Directory path:(File_Like | Text)

Source: enso-org/enso

View original on GitHub View discussion on GitHub