> the trouble there is that the really fun case is to do this over the network with http (say to solve Python dependencies, to extract the metadata from wheel files) in which case this method doesnt work
If the web server can tell you the total size of the file by responding to a HEAD request, and it support range requests then it will be possible.
If the web server can tell you the total size of the file by responding to a HEAD request, and it support range requests then it will be possible.
https://developer.mozilla.org/en-US/docs/Web/HTTP/Range_requ...
Or am I missing something?