def help.extra.go

shake@0.7.0.0 · src/cli.bend:1825

import Base

1825# extras after the help string: default and choices
1826def help.extra.go(+dd: String, +cs: List<&2, String>) -> String:
1827  Bool.pick(String, String.is_empty(dd),
1828    Bool.pick(String, List.is_empty(&2, String, cs), "",
1829      " [possible values: " ++ String.join(cs, ", ") ++ "]"),
1830    Bool.pick(String, List.is_empty(&2, String, cs),
1831      " [default: " ++ dd ++ "]",
1832      " [default: " ++ dd ++ "] [possible values: " ++ String.join(cs, ", ") ++
1833        "]"))