def run

ezx@1.11.0.0 · src/add/run.bend:77

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/ws/run.bend as WsRun
import ezx@1.11.0.0/src/add/relock.bend as AR
import ezx@1.11.0.0/src/ws/relock.bend as Rel

77# `ez add <target> [ref] [entry.bend] [--rename NAME]`
78def run(+target: String, +ref: String, +entry: String, +rename: String) -> IO(Unit):
79  do IO<Unit>:
80    lib : String <- Run.bend.lib()
81    +pwd : String <- R.exec(["pwd"])
82    h : Result<&1, &1, U32 & String, String> <- IO.get_env("HOME")
83    +home : String <- IO.pure(String, Run.env.text(h))
84    pinned : String <- WsRun.add.ref(home, target, ref)
85    led : Maybe<&2, String> <- F.read(A.toml())
86    ig : Maybe<&2, String> <- F.read(A.ignore.file())
87    ls : W.Listing <- Run.read.listing()
88    ws : Rel.Ws <- WsRun.relock.ws()
89    loop(rounds(), lib, ws, AR.World{A.World{A.Args{target, pinned, entry, rename},
90      String.trim(R.text(pwd)), home, led, F.text_of(ig), [], []}, ls, []})