Anonymous user
User defined pipe and redirection operators: Difference between revisions
User defined pipe and redirection operators (view source)
Revision as of 23:10, 17 September 2011
, 12 years agomisc desc tidy
m (<lang bash>, not <lang sh>!) |
m (misc desc tidy) |
||
Line 24:
cat List_of_computer_scientists.lst | grep ALGOL | tee ALGOL_pioneers.lst;
tail -4 List_of_computer_scientists.lst
) | sort | uniq | tee
);
echo "Pioneer: $aa"</lang>
Line 31:
|+A test sample of scientists from wikipedia's "[[wp:List of computer scientists|List of computer scientists]]"
!Name||Areas of interest
|
|Wil van der Aalst||business process management, process mining, Petri nets
|-
|