Handbook
Glossary
download-name ( url -- name )
HTTP Download Utilities
Prev:
download-to-temporary-file ( obj -- path )
Vocabulary
http
.
download
Inputs
url
an
url
Outputs
name
an
object
Word description
Turns a URL into a filename suitable for downloading to locally.
Definition
USING:
io.pathnames
kernel
present
splitting
;
IN:
http.download
:
download-name
( url -- name )
present
file-name
"?"
split1
drop
"/"
?tail
drop
;