escape-filename ( string -- filename )

Vocabulary

help.html

Inputs

string

an object

Outputs

filename

an object

Definition

USING: make sequences ;

IN: help.html

: escape-filename ( string -- filename )
    [ [ escape-char ] each ] "" make ;