def host

cli@0.2.0.0 · run.bend:81

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

81# §7.3: the variables c reads, whether stdout and stderr are TTYs, and their
82# columns; Cli.probe decides the rest.
83def host(c: Cli.Cmd) -> IO(Cli.Host):
84  do IO<Cli.Host>:
85    vars : List<&2, Cli.Var> <- read_vars(Cli.vars(c))
86    out_tty : U32 <- Sys.isatty(1)
87    err_tty : U32 <- Sys.isatty(2)
88    out_cols : U32 <- Sys.columns(1)
89    err_cols : U32 <- Sys.columns(2)
90    return Cli.probe(vars, U32.is_eq(out_tty, 1), U32.is_eq(err_tty, 1),
91      out_cols, err_cols)