New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: support `stdin` and pipe for `Child` API #1033

Merged

sxyazi merged 1 commit into main from pr-ecdcac66

May 14, 2024

Owner

sxyazi commented May 13, 2024

An implementation of the feature request: #1030

Closes #1030

local echo = Command("echo"):arg("Hello"):stdout(Command.PIPED):spawn()

local rev = Command("rev"):stdin(echo:take_stdout()):stdout(Command.PIPED):output()

ya.err(rev.stdout) -- "olleH\n"


          feat: support stdin and pipe for Child API

a336f2d

sxyazi mentioned this pull request

Plugins: Pipe output from one command to stdin of another #1030

Closed

1 task

sxyazi merged commit 28dfe72 into main

5 checks passed

sxyazi deleted the pr-ecdcac66 branch

May 14, 2024 14:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment