From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBRHbm61007669 for ; Tue, 27 Dec 2011 18:37:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AggBAPwB+k7RVdU2kGdsb2JhbABChQ+nMQgiAQEBAQkJDQcUBCGBcgEBAQQSAg8dATgBAwwBBQULDwImAgIiEgEFARwGNaAnCosdgzOEOYkwAgULgSSJSoEWBJUCjX09gU2CLg X-IronPort-AV: E=Sophos;i="4.71,416,1320620400"; d="scan'208";a="124828067" Received: from mail-yw0-f54.google.com ([209.85.213.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Dec 2011 18:37:42 +0100 Received: by yhfq46 with SMTP id q46so9715960yhf.27 for ; Tue, 27 Dec 2011 09:37:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=AL3R2uZwpwxmxJxnHZWAFzlshgftK/yNddNdee7DIwo=; b=mYnzpSwkwTuRcS1dBqpshS7nhjwNjmXdJJPo7NpGQk0W98wETIVU8oK877Nej3yybe +CAeCISeUvVRFmRZcM/gQQVeZh34zeRyBK9hWnKM42Ct2BenMR/xulzDaxMrKTNhqFs+ D7mzEOH30XS4r80QAl2ON5ZllFQbZwXmLeLl4= MIME-Version: 1.0 Received: by 10.236.78.6 with SMTP id f6mr40051535yhe.109.1325007462014; Tue, 27 Dec 2011 09:37:42 -0800 (PST) Sender: daniel.c.buenzli@gmail.com Received: by 10.146.139.11 with HTTP; Tue, 27 Dec 2011 09:37:41 -0800 (PST) In-Reply-To: References: Date: Tue, 27 Dec 2011 18:37:41 +0100 X-Google-Sender-Auth: fI0EC5E_GK-hLyAcGKOwR6MGiDo Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Damien Doligez Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] RFC: basename, dirname, PR#4549 I would prefer the standard one. Note that it may be sensible to contact unison's developers, they must have quite some experience in dealing with file paths and their idiosyncrasies. Best, Daniel