On Wed, Jul 28, 2010 at 9:05 PM, Glenn Fowler <[email protected]> wrote: > > On Wed, 28 Jul 2010 20:32:26 +0200 Chris Pickett wrote: >> The problem is that I have to educate EVERY user in our system. Most >> people learned Unix through Linux and almost every "Linux for Dummies" >> book tells it's users to use grep -r string dir to search your home >> directory. >> The situation is hopeless. > > wait a minute > if I did > gnugrep -r foo $HOME > my terminal would go into a tizzy from all the a.out and .o matches > > is -r without any other file selection options really that useful?
Short answer: Yes. Those who need more detailed filtering should use tw or find/xargs. grep -r is just for the users who have read books like Chris's 'Linux for Dumbies'. Irek _______________________________________________ ast-developers mailing list [email protected] https://mailman.research.att.com/mailman/listinfo/ast-developers
