grep-usage ( -- )

Vocabulary

tools.grep

Inputs

None

Outputs

None

Definition

USING: io ;

IN: tools.grep

: grep-usage ( -- )
    "Usage: factor grep.factor <pattern> [<file>...]" print ;