An Introduction to Linux I/O Redirection