Handbook
Glossary
download-once-into ( url directory -- path )
HTTP Download Utilities
Prev:
download-once ( url -- path )
Next:
download-once-as ( url path -- path )
Vocabulary
http
.
download
Inputs
url
an
url
directory
a pathname string
Outputs
path
a pathname string
Word description
Downloads a file to
directory
and returns the path. If the path already exists, this word does not download it again.
Definition
USING:
io.directories
;
IN:
http.download
:
download-once-into
( url directory -- path )
to-directory
download-once-as
;