Config.Kube.token.exec: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/config.bend as Config
Lines 168-177 of bend-kube-runtime@0.2.0.0/src/config.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&start_line=168&end_line=177

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

# A plugin runs under `env`, which sets the plugin's env entries (and
# KUBERNETES_EXEC_INFO, as client-go does) on top of our environment.
def Kube.token.exec(c: J.Json, env: List<&2, String>, args: List<&2, String>) -> Src:
  match c:
    case J.JStr{cmd}:
      FromExec{"env", List.append(&2, String, env,
        ("KUBERNETES_EXEC_INFO={\"apiVersion\":\"client.authentication.k8s.io/v1\",\"kind\":\"ExecCredential\",\"spec\":{\"interactive\":false}}")
          <> cmd <> args)}
    case _:
      NoSrc{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Src
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json