This function facilitates the downloading of a specific file from an Integral repository. It finds the UUID of the desired file, and then downloads it to a specified path.
Usage
integral_download(file, path, url = getOption("integral_url"))
Arguments
- file
A character string or character vector specifying the paths to files within the repository to be downloaded.
- path
A character string or character vector specifying the destination paths in your local file system. If a folder path is provided, the file name will be recycled from
basename(file)
.- url
A character string representing the base URL of the Integral repository. Defaults to
getOption("integral_url")
.