Run.run: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/run.bend as Run
Lines 743-754 of ezx@1.11.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/run.bend&start_line=743&end_line=754

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/share/say.bend as Say
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/ws/run.bend as WsRun
import ezx@1.11.0.0/src/ws/joint.bend as J

# `ez lock` and `ez lock --upgrade [--package only]`: the directory it runs
# in, the ledger and the listing read, every question answered, and the plan
# run
def run(up: Bool, +only: String) -> IO(Unit):
  do IO<Unit>:
    IO.print_err(Say.resolving())
    lib : String <- bend.lib()
    +pwd : String <- R.exec(["pwd"])
    own : Maybe<&2, String> <- read.ledger()
    +ls : W.Listing <- read.listing()
    pd : WsRun.Planned <- WsRun.ledger(own, J.files(ls))
    run.planned(pd, lib, up, only, String.trim(R.text(pwd)), ls)

Uses (20):
  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.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.print_err
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=bend.lib
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=read.ledger
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=read.listing
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=run.planned
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Listing
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=resolving
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=files
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=Planned
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=ledger
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text