Redirection and Pipes

1. Open Channels
2. Redirection
3. Redirection bash
4. Redirection bash append
5. Redirection bash merge
6. Redirection tcsh
7. Redirect to /dev/null
8. Pipes
9. Filters
10. tee
11. Exercises: redirection
12. Exercise: HTML content