User defined pipe and redirection operators: Difference between revisions
Content added Content deleted
| Line 691: | Line 691: | ||
head("List_of_computer_scientists.lst", 4, commonoutchan) |
head("List_of_computer_scientists.lst", 4, commonoutchan) |
||
cat("List_of_computer_scientists.lst", commonoutchan) |
|||
cat("List_of_computer_scientists.lst") |> grep("ALGOL") |> tee("Algol_pioneers.lst", commonoutchan) |
cat("List_of_computer_scientists.lst") |> grep("ALGOL") |> tee("Algol_pioneers.lst", commonoutchan) |
||