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?
_______________________________________________
ast-developers mailing list
[email protected]
https://mailman.research.att.com/mailman/listinfo/ast-developers
