def zsh_commands

cli@0.2.0.0 · cli.bend:6829

import Base

6829def zsh_commands(entries: List<&2, Entry>, with_help: Bool, label: String,
6830    +ind: String) -> List<&2, String>:
6831  List.concat(&2, String, [
6832    [String.append(ind, "local -a commands=(")],
6833    zsh_entries(entries, ind),
6834    Bool.pick(List<&2, String>, with_help, [String.append(ind,
6835      "  'help:Print this message or the help of the given subcommand(s)'")],
6836      []),
6837    [String.append(ind, ")"),
6838      String.concat([ind, "_describe -t commands ", Sh.quote(label),
6839        " commands"])],
6840  ])