아무 생각없이 수십년(까지는 아니더라도..)을 사용해왔던 pipeline 과 redirection. 무슨 차이가 있는 건지, 제대로 이해를 못했었다. 적어도 며칠 전까지는.