-
Notifications
You must be signed in to change notification settings - Fork 470
Input redirection and pipes #428
Copy link
Copy link
Closed
Labels
good first issueGood for contributing for the first time to the Dune codebaseGood for contributing for the first time to the Dune codebase
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.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
good first issueGood for contributing for the first time to the Dune codebaseGood for contributing for the first time to the Dune codebase