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 ( url -- path )

download-name ( url -- name )