add grep, wc, cat, awk to shell tutorial

ContentMine / workshop-resources

This repository contains material helping you to set up a ContentMine workshop. It also includes tutorials for learning the ContentMine tools on your own.

Other

37 stars 13 forks source link

add grep, wc, cat, awk to shell tutorial #21

Closed skasberger closed 8 years ago

skasberger commented 8 years ago

add links to more sophisticated shell commands like wc, wget, grep, awk, cat or grep for further usage.