Shell tutorial part 12: input redirection

Published --