Parents: | http |
Authors: | Doug Coleman |
Word | Stack effect |
download-to-temporary-file | ( obj -- path ) |
Word | Stack effect |
delete-when-checksum-mismatches | ( path checksum-type bytes -- deleted? ) |
delete-when-file-size-mismatches? | ( path size -- deleted? ) |
delete-when-old | ( path duration -- deleted/missing? ) |
delete-when-zero-size | ( path -- deleted-or-not-exists? ) |
download | ( url -- path ) |
download-as | ( url path -- path ) |
download-into | ( url directory -- path ) |
download-name | ( url -- name ) |
download-once | ( url -- path ) |
download-once-as | ( url path -- path ) |
download-once-into | ( url directory -- path ) |
download-outdated | ( url duration -- path ) |
download-outdated-as | ( url path duration -- path' ) |
download-outdated-into | ( url directory duration -- path ) |
file-matches-checksum? | ( path checksum-type bytes -- ? ) |
file-size= | ( path n -- ? ) |
file-too-old-or-not-exists? | ( path duration -- ? ) |
file-zero-size? | ( path -- ? ) |
Vocabulary | Summary |
http.download.private |