Redirection
***********
Unix shells commonly provide several forms of "redirection"--ways to
change the input source or output destination of a command. But one
useful redirection is performed by a separate command, not by the shell;
it's described here.