url-encode-filename
(プロシージャ)
public
{url-encode-filename
str:
String
}:
String
パッケージ:
CURL.IO.FILE
未加工の文字である
'%'
、
'?'
、
'#'
および
':'
をエンコードします。
説明
これは、ローカル ファイル名などの
String
を
Url
の一部として安全に使える
String
に変換するために、必要最低限のエンコードを行います。
注意事項
url-encode-string
も参照してください。