~/jendhub

def exec_line

cswap-bend-cli@0.1.0.0 · exec.bend:367

import cswap-bend-cli@0.1.0.0/exec.bend as Exec
import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/fmt/out.bend as O

367# Run a command line (the words after the program name). `force` fixes the
368# output format (the rpc loop asks for json); without it `--format` decides.
369# A line that starts with `auto`, `tui` or `watch` is passed on untouched.
370def exec_line(+args: List<&2, String>, force: Maybe<&2, O.Fmt>) -> IO(Cmd.Out):
371  exec_line2(is_own(first_verb(args)), args, force)

Uses (9)

Used by (4)