> but you choose to redirect the pipe to a different location The output doesn't go into a pipe however, the output goes to /dev/full. Redirection happens befo

> but you choose to redirect the pipe to a different location The output doesn't go into a pipe however, the output goes to /dev/full. Redirection happens before the process is started, so the program is, in fact, writing directly to a file descriptor that returns an error upon write.