let values = ../resources/package.dh let types = ../resources/types.dh let argotypes = ./types.dh let basicCommand = ./basicCommand.dh let defaultMkRun = λ(cmd : Text) → λ(manifest : Text) → λ(containerName : Text) → { manifest = manifest , cmd = cmd , containerName = containerName , args = [] : List Text , cmdwants = [] : List Text , cmdavoids = [] : List Text , passvars = [] : List Text } : argotypes.MkRun let run = λ(a : argotypes.MkRun) → let b = basicCommand { name = "nrm" , outprefix = "nrmrun" , outwants = a.cmdwants , outavoids = a.cmdavoids } in b ⫽ { args = [ "run", "-u", a.containerName, a.manifest, a.cmd ] # a.args , passvars = b.passvars # a.passvars , vars = values.emptyVars , timeout = [] : Optional Natural , exitcode = [] : Optional Integer , otherwd = [] : Optional Text } : types.Cmd let default = λ(cmd : Text) → λ(manifest : Text) → λ(containerName : Text) → run (defaultMkRun cmd manifest containerName) : types.Cmd in { defarg = defaultMkRun : Text → Text → Text → argotypes.MkRun , mk = run : argotypes.MkRun → types.Cmd , default = default : Text → Text → Text → types.Cmd }