R/downloadData.R
remoteFileSize.Rd
Defunct. Will be removed by mid-2023.
remoteFileSize(url)
The url of the remote file.
A numeric indicating the size of the remote file in bytes.
Eliot McIntire and Alex Chubaty