url-decode-filename (プロシージャ)
public {url-decode-filename str:String}:String
パッケージ: CURL.IO.FILE

エスケープ文字である '%''?''#'および ':' をデコードします。

説明

これを使って、url-encode-filename により必要最小限のエンコーディング スキームによりエンコードされただけの Url 部分をデコードします。

注意事項

url-decode-string も参照してください。