Stream.Stream.log_path: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/stream.bend as Stream
Lines 147-151 of bend-kube-runtime@0.2.0.0/src/stream.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/stream.bend&start_line=147&end_line=151

import Base
import bend-kube-runtime@0.2.0.0/src/http.bend as H

# The log of a pod's container, followed while it runs (follow=true): the
# stream ends when the container does.
def Stream.log_path(ns: String, pod: String, container: String, follow: Bool) -> String:
  "/api/v1/namespaces/" ++ H.Http.encode(ns) ++ "/pods/" ++ H.Http.encode(pod) ++
    "/log?container=" ++ H.Http.encode(container) ++ Stream.follow(follow)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=bend-kube-runtime@0.2.0.0/src/http.bend&name=Http.encode
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/stream.bend&name=Stream.follow