def path_text

cli@0.2.0.0 · cli.bend:4337

import Base

4337# A command path as lint writes it: the root name, then each subcommand.
4338def path_text(name: String, path: List<&2, String>) -> String:
4339  String.join(name <> path, " ")