Documentation
HTTP Download Utilities
Metadata
Words
Generic words
Ordinary words
Files
Metadata files
Children
HTTP Download Utilities
Metadata
| Parents: | http |
| Authors: | Doug Coleman |
Words
Generic words
| Word | Stack effect |
 download-to-temporary-file | ( obj -- path ) |
Ordinary words
| 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 -- ? ) |
Files
Metadata files
Children
| Vocabulary | Summary |
 http.download.private |