Skip to content

Input redirection and pipes #428

@ghost

Description

Description

We should add the following forms to the action language:

  • (with-stdin-from <file> <action>)
  • (pipe-stdout <action1> <action2> ...)
  • (pipe-stderr <action1> <action2> ...)
  • (pipe-outputs <action1> <action2> ...)

Pipes should be implemented with temporary files, to make things simpler and more portable.

Implementation

The action language is defined in src/action_intf. One should add the new actions and then follow compilation errors to implement them.

The Future.run* functions will need to be adapted to support stdin redirection.

Metadata

Metadata

Assignees

No one assigned

    Labels

    good first issueGood for contributing for the first time to the Dune codebase

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions