url-encode-filename
(proc)
public
{url-encode-filename
str:
String
}:
String
Package:
CURL.IO.FILE
Encode raw
'%'
,
'?'
,
'#'
, and
':'
characters.
Description
This does the minimal encoded needed to convert a
String
such as a local filename into a
String
that is safe to use as part of a
Url
.
Notes
See also
url-encode-string
.