From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id E27BDBC37 for ; Mon, 8 Feb 2010 03:03:50 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At8BAOT/bkvLOwFqkWdsb2JhbACbPgEBAQEJCwoHEwO6W4RUBA X-IronPort-AV: E=Sophos;i="4.49,425,1262559600"; d="scan'208";a="43989880" Received: from outbound.icp-qv1-irony-out1.iinet.net.au ([203.59.1.106]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Feb 2010 03:03:47 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAKT/bkvLzuai/2dsb2JhbADWU4RUBA X-IronPort-AV: E=Sophos;i="4.49,425,1262534400"; d="scan'208";a="626796734" Received: from unknown (HELO hendrix.mega-nerd.net) ([203.206.230.162]) by outbound.icp-qv1-irony-out1.iinet.net.au with ESMTP; 08 Feb 2010 10:03:44 +0800 Received: from hendrix.mnn (hendrix.mnn [192.168.200.99]) by hendrix.mega-nerd.net (Postfix) with SMTP id EC89D106DD3 for ; Mon, 8 Feb 2010 13:03:42 +1100 (EST) Date: Mon, 8 Feb 2010 13:03:42 +1100 From: Erik de Castro Lopo To: caml-list@inria.fr Subject: Re: [Caml-list] camlp4 Message-Id: <20100208130342.b9836871.mle+ocaml@mega-nerd.com> In-Reply-To: References: <4B6D5D34.6070403@irisa.fr> Reply-To: caml-list@inria.fr Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed 2.6.0 (GTK+ 2.16.1; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 camlp:01 foo:01 foo:01 wrote:01 caml-list:01 grep:01 grep:01 tree:02 gnu:03 erik:04 erik:04 thus:10 source:12 mle:13 Ashish Agarwal wrote: > > - the source folder tree is deep, and thus harder to grep > > I use find. > > $ find ./ -exec grep "foo" {} \; If you're using GNU grep: grep -r foo . Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/