Client.Exec.token: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/client.bend as Client
Lines 126-136 of bend-kube-runtime@0.2.0.0/src/client.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&start_line=126&end_line=136

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J

# A credential plugin's answer (client-go's exec ExecCredential): its
# status.token. The plugin runs on every connection, so it may cache and
# refresh tokens as it sees fit.
def Exec.token(+cmd: String, r: Res(U32 & (String & String))) -> IO(Res(String)):
  match r:
    case Done{(0, (out, err))}:
      IO.pure(Res(String), Exec.token.json(cmd, J.Json.parse(out)))
    case Done{(code, (out, err))}:
      IO.pure(Res(String), Fail{(5, cmd ++ " failed: " ++ String.trim(err))})
    case Fail{(c, m)}:
      IO.pure(Res(String), Fail{(c, cmd ++ ": " ++ m)})

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&name=Exec.token.json
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse