On Tue, 2005-02-22 at 16:08 +0100, wrobell wrote: > $ grep -ri page $HOME > log > > will create huge log file
grep -ri page $HOME/{*,.[^.]*} > log
won't.
--
Paweł Sakowski <[EMAIL PROTECTED]>
PLD Linux Distribution
_______________________________________________
pld-devel-en mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
