def run

ezx@1.11.0.0 · src/remove/run.bend:44

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/remove/plan.bend as RP
import ezx@1.11.0.0/src/remove/relock.bend as RR
import ezx@1.11.0.0/src/ws/relock.bend as Rel
import ezx@1.11.0.0/src/ws/run.bend as WsRun

44# `ez remove <name>`
45def run(+name: String) -> IO(Unit):
46  do IO<Unit>:
47    lib : String <- Run.bend.lib()
48    +pwd : String <- R.exec(["pwd"])
49    led : Maybe<&2, String> <- F.read(RP.toml())
50    ig : Maybe<&2, String> <- F.read(RP.ignore.file())
51    ls : W.Listing <- Run.read.listing()
52    ws : Rel.Ws <- WsRun.relock.ws()
53    loop(Run.rounds(), lib, ws, RR.World{RP.World{name, led, F.text_of(ig)},
54      String.trim(R.text(pwd)), ls, []})