def exec.lay

ezx@1.11.0.0 · src/tool/run.bend:157

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/tool/plan.bend as TP

157# a checkout laid: whatever was there removed, then every file, the record
158# last
159def exec.lay(layout: TP.Lay) -> IO(Unit):
160  match layout:
161    case TP.Still{}:
162      IO.pure(Unit, Unit{})
163    case TP.Lay{dir, ws}:
164      do IO<Unit>:
165        _rm : String <- R.exec(["rm", "-rf", dir])
166        Run.exec.all("", ws)