Handbook
Glossary
download-into ( url directory -- path )
HTTP Download Utilities
Prev:
download ( url -- path )
Next:
download-as ( url path -- path )
Vocabulary
http
.
download
Inputs
url
an
url
directory
a pathname string
Outputs
path
a pathname string
Word description
Downloads the contents of the URL to a file the given directory and returns the pathname.
Definition
USING:
io.directories
kernel
;
IN:
http.download
:
download-into
( url directory -- path )
[
[
download-to-temporary-file
]
keep
]
dip
dup
make-directories
to-directory
nip
[
move-file
]
keep
;