pipe use example

221018-pipe-example/.gitignore

221018-pipe-example/README.md

221018-pipe-example/build.ninja

221018-pipe-example/default.nix

221018-pipe-example/fig/00-parent-begin.svg

221018-pipe-example/fig/01-parent-pipe.svg

221018-pipe-example/fig/02-parent-fork.svg

221018-pipe-example/fig/03-parent-fork-focus-pipe.svg

221018-pipe-example/fig/04-parent-switch.svg

221018-pipe-example/fig/05-parent-close.svg

221018-pipe-example/fig/06-parent-close-done.svg

221018-pipe-example/fig/07-parent-read-blocked.svg

221018-pipe-example/fig/08-child-switch.svg

221018-pipe-example/fig/09-child-close.svg

221018-pipe-example/fig/10-child-close-done.svg

221018-pipe-example/fig/11-child-dup2.svg

221018-pipe-example/fig/12-child-dup2-done.svg

221018-pipe-example/fig/13-child-dup2-done2.svg

221018-pipe-example/fig/14-child-exec.svg

221018-pipe-example/fig/15-child-exec-done.svg