Handbook
Glossary
HTTP Download Utilities
The
http
.
download
vocabulary provides utilities for downloading files from the web.
Utilities to retrieve a
url
and save the contents to a file:
download
( url -- path )
download-into
( url directory -- path )
download-as
( url path -- path )
download-once
( url -- path )
download-once-into
( url directory -- path )
download-once-as
( url path -- path )
download-outdated
( url duration -- path )
download-outdated-into
( url directory duration -- path )
download-outdated-as
( url path duration -- path' )
Helper words:
download-to-temporary-file
( obj -- path )
download-name
( url -- name )