From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C3F7D7EE25 for ; Fri, 15 Nov 2013 14:47:49 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.bobot@cea.fr designates 132.167.192.142 as permitted sender) identity=mailfrom; client-ip=132.167.192.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cirse-out.extra.cea.fr) identity=helo; client-ip=132.167.192.142; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@cirse-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmcBACklhlKEp8COnGdsb2JhbABZhwi5MoJ7gSYWDgEBAQEBCAsJCRQogiUBAQQBIw8BBUABBQsLGAICBRYLAgIJAwIBAgFFBg0BBwKHdwauOZJJgSmOQAeCa4FGA55Pjnc X-IPAS-Result: AmcBACklhlKEp8COnGdsb2JhbABZhwi5MoJ7gSYWDgEBAQEBCAsJCRQogiUBAQQBIw8BBUABBQsLGAICBRYLAgIJAwIBAgFFBg0BBwKHdwauOZJJgSmOQAeCa4FGA55Pjnc X-IronPort-AV: E=Sophos;i="4.93,708,1378850400"; d="scan'208";a="35722699" Received: from cirse-out.extra.cea.fr ([132.167.192.142]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Nov 2013 14:47:49 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id rAFDlmwF015480; Fri, 15 Nov 2013 14:47:48 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 0FA8A2021C8; Fri, 15 Nov 2013 14:48:05 +0100 (CET) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id ED3722021D3; Fri, 15 Nov 2013 14:48:04 +0100 (CET) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet2.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.2) with ESMTP id rAFDlmCF006678; Fri, 15 Nov 2013 14:47:48 +0100 Message-ID: <52862615.2080007@cea.fr> Date: Fri, 15 Nov 2013 14:48:05 +0100 From: =?UTF-8?B?RnJhbsOnb2lzIEJvYm90?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131005 Icedove/17.0.9 MIME-Version: 1.0 To: =?UTF-8?B?UmFwaGHDq2wgUHJvdXN0?= CC: OCaml Mailing List References: <528620FF.7050905@cea.fr> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Merlin question about configuration file On 15/11/2013 14:35, Raphaël Proust wrote: > Maybe there should be an option for Merlin to look arbitrarily far > into parent directories, stopping whenever a .git, .svn, _darcs, &c. > is found. (This is generally a good indication that one is at the root > of a project.) > There is a .svn in every sub-directory. > Does that make sense? > Would that help? I would prefer an option of merlin that make it look arbitrarily far into parent directories until it find a .merlin. -- François