def unknown_text

cli@0.2.0.0 · cli.bend:6076

import Base

6076# The E02 page eval prints for an unknown subcommand name at path, with its
6077# similar names and the scope's usage, in t's stderr colors and width. An app
6078# with external() prints it, and exits 2 as eval does, when no plugin answers
6079# to name.
6080def unknown_text(c: Cmd, path: List<&2, String>, name: String,
6081    t: Term) -> String:
6082  fault_err(t, E02{name}, c, path, [])