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