関連ワード:  pipe in linux terminal    pipe in linux command line    pipes linux terminal cli    pipeline linux terminal    pipe symbol linux terminal    what does pipe do in linux terminal    how to type pipe symbol in linux terminal    what is pipe in linux    how to pipe in terminal