Piping and Redirection
Redirection is (mostly) for files (you redirect streams to/from files). Piping is for processes: you pipe (redirect) streams from one process to another. Essentially what you really do is “connect” one standard stream (usually stdout) of one process to standard stream of another process (usually stdin) via pipe. Pipes have also the synchronization “side effect” … Read more