Redirect a standard IO for the child to a pipe
Redirects the child's IO to a pipe whose other side is accessible by the parent. After running, the other end of the pipe will be available as stdIO[io]
which of the IO streams to redirect
See Implementation
Redirect a standard IO for the child to a pipe
Redirects the child's IO to a pipe whose other side is accessible by the parent. After running, the other end of the pipe will be available as stdIO[io]