def Exec.token
bend-kube-runtime@0.2.0.0 · src/client.bend:126
import bend-kube-runtime@0.2.0.0/src/client.bend as Client
import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
126
127
128
129def Exec.token(+cmd: String, r: Res(U32 & (String & String))) -> IO(Res(String)):
130 match r:
131 case Done{(0, (out, err))}:
132 IO.pure(Res(String), Exec.token.json(cmd, J.Json.parse(out)))
133 case Done{(code, (out, err))}:
134 IO.pure(Res(String), Fail{(5, cmd ++ " failed: " ++ String.trim(err))})
135 case Fail{(c, m)}:
136 IO.pure(Res(String), Fail{(c, cmd ++ ": " ++ m)})