def Exec.run

bend-kube-runtime@0.2.0.0 · src/exec.bend:386

import Base
import bend-kube-runtime@0.2.0.0/src/config.bend as K
import bend-kube-runtime@0.2.0.0/src/client.bend as Cl

386# Runs cmd in container of pod ns/name, writing stdin to it (None: no
387# stdin), and collects its output; ms bounds each wait for the server
388# (0: none). Done means the exec ran: Exec.ok says how the command ended.
389def Exec.run(+cfg: K.Config, ns: String, pod: String, container: String, cmd: List<&2, String>,
390  +stdin: Maybe<&2, String>, +ms: U32) -> IO(Result<&2, &2, Cl.KErr, Out>):
391  IO.bind(Result<&1, &1, U32 & String, U32>, Result<&2, &2, Cl.KErr, Out>, IO.random_u32(),
392    r => Exec.keyed(cfg, Exec.path(ns, pod, container, cmd, Maybe.is_some(&2, String, stdin)),
393      stdin, ms, r))