Cli.bash_subs: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 6511-6517 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=6511&end_line=6517 import Base def bash_subs(+entries: List<&2, Entry>, words: List<&2, String>) -> List<&2, String>: Bool.pick(List<&2, String>, List.is_empty(&2, Entry, entries), [], [ String.concat([" subs=(", sh_list(entry_names(entries), " "), ")"]), String.concat([" dests=(", sh_list(entry_dests(entries, words), " "), ")"]), ]) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.concat https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Entry https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=entry_dests https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=entry_names https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=sh_list