Is there a good cheat sheet demonstrating the many uses of BASH shell redirection? I would love to give such a thing to my students. Some examples I'd like to see covered:

cmd > output_file.txt       #redirect stdout to output_file.txt
cmd 2> output_file.txt      #redirect stderr to output_file.txt
cmd >& outpout_file.txt     #redirect both stderr and stdout to output_file.txt
cmd1      | cmd2            #pipe cmd1 stdout to cmd2's stdin
cmd1 2>&1 | cmd2            #pipe cmd1 stdout and stderr to cmd2's stdin
cmd1      | tee result.txt  #print cmd1's stdout to screen and also write to result.txt
cmd1 2>&1 | tee result.txt  #print stdout,stderr to screen while writing to result.txt

(or we could just make this a community wiki and enumerate such things here)

Thanks!

SetJmp