def err.hint

shake@0.7.0.0 · src/cli.bend:2139

import shake@0.7.0.0/src/cli.bend as Cli
import Base

2139# where to look for more: `help`, and the path when there is one
2140def err.hint(+path: List<&2, String>) -> String:
2141  "For more information, try 'help" ++
2142    Bool.pick(String, List.is_empty(&2, String, path), "", " " ++ String.join(path, " ")) ++ "'.\n"

Uses (6)

Used by (1)