let single_file ~run_with ~tool path =
let open KEDSL in
let condition =
let init = Machine.Tool.init tool in
let host = Machine.as_host ~with_shell:"bash" run_with in
let condition_cmd =
Ketrew_pure.Program.to_single_shell_command
Program.(init && shf "test -e %s" path)
in KEDSL.Command.shell ~host condition_cmd
in
object
method is_done = Some (`Command_returns (condition, 0))
end