Linux command line techniques: IO redirection and piping · HackerTrans