download-to ( url path -- path )
HTTP Download Utilities

Prev:	download ( url -- path )
Next:	download-once-to ( url path -- path )

Vocabulary
http.download

Inputs

url	an url or a string
path	a pathname string

Outputs

path	a pathname string

Word description
Downloads the contents of the URL to a file with the given pathname and returns the pathname.

Notes
Use this to download the file every time.

Errors
Throws an error if the HTTP request fails.

Definition

USING: http.download.private io.directories io.encodings.binary
io.files.unique kernel ;

IN: http.download

: download-to ( url path -- path )
    [
        [ download-temporary-name binary ] keep
        [ http-write-request ] curry with-unique-file-writer
    ] dip [ move-file ] keep ;