I/O redirection

A shell operation that changes which file or descriptor supplies or receives a command stream.

Also known as shell redirection

Used in