Skip to content

Add request_to_file to HTTP contract for streaming downloads to disk#169

Merged
ericmj merged 1 commit intomainfrom
ericmj/request-to-file
Mar 9, 2026
Merged

Add request_to_file to HTTP contract for streaming downloads to disk#169
ericmj merged 1 commit intomainfrom
ericmj/request-to-file

Conversation

@ericmj
Copy link
Member

@ericmj ericmj commented Mar 9, 2026

Add a new request_to_file callback to hex_http that streams the HTTP response body directly to a file, avoiding loading the full body into memory.

Add get_tarball_to_file/4 and get_docs_to_file/4 to hex_repo that use the new callback to download tarballs and docs directly to disk.

Add a new `request_to_file` callback to `hex_http` that streams the HTTP
response body directly to a file, avoiding loading the full body into memory.

Add `get_tarball_to_file/4` and `get_docs_to_file/4` to `hex_repo` that use
the new callback to download tarballs and docs directly to disk.
@ericmj ericmj merged commit c6a3995 into main Mar 9, 2026
10 checks passed
@ericmj ericmj deleted the ericmj/request-to-file branch March 9, 2026 21:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant