User defined pipe and redirection operators: Difference between revisions

Content added Content deleted
m (<lang bash>, not <lang sh>!)
m (misc desc tidy)
Line 24: Line 24:
cat List_of_computer_scientists.lst | grep ALGOL | tee ALGOL_pioneers.lst;
cat List_of_computer_scientists.lst | grep ALGOL | tee ALGOL_pioneers.lst;
tail -4 List_of_computer_scientists.lst
tail -4 List_of_computer_scientists.lst
) | sort | uniq | tee "the_important_scientists.lst" | grep aa
) | sort | uniq | tee the_important_scientists.lst | grep aa
);
);
echo "Pioneer: $aa"</lang>
echo "Pioneer: $aa"</lang>
Line 31: Line 31:
|+A test sample of scientists from wikipedia's "[[wp:List of computer scientists|List of computer scientists]]"
|+A test sample of scientists from wikipedia's "[[wp:List of computer scientists|List of computer scientists]]"
!Name||Areas of interest
!Name||Areas of interest
|+
|-
|Wil van der Aalst||business process management, process mining, Petri nets
|Wil van der Aalst||business process management, process mining, Petri nets
|-
|-
Retrieved from "https://rosettacode.org/wiki/User_defined_pipe_and_redirection_operators"