in my best John Lennon voice all right all right, all right all right, all right, all right all right, all right, all right the next release will have grep -r and only grep -r --man will direct users yearning for more to tw(1)
On Wed, 28 Jul 2010 23:09:30 +0200 I. Szczesniak wrote: > 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
