~/jendhub

def bash_subs

cli@0.2.0.0 · cli.bend:6511

import cli@0.2.0.0/cli.bend as Cli
import Base

6511def bash_subs(+entries: List<&2, Entry>, words: List<&2, String>) ->
6512    List<&2, String>:
6513  Bool.pick(List<&2, String>, List.is_empty(&2, Entry, entries), [], [
6514    String.concat(["      subs=(", sh_list(entry_names(entries), " "), ")"]),
6515    String.concat(["      dests=(", sh_list(entry_dests(entries, words), " "),
6516      ")"]),
6517  ])

Uses (9)

Used by (1)