From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thomas.gazagnaire@gmail.com>
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 3842C7EF10
	for <caml-list@sympa.inria.fr>; Tue, 24 Feb 2015 21:26:05 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  thomas.gazagnaire@gmail.com) identity=pra;
  client-ip=209.85.212.179;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="thomas.gazagnaire@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  thomas.gazagnaire@gmail.com designates 209.85.212.179 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.212.179;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="thomas.gazagnaire@gmail.com";
  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@mail-wi0-f179.google.com) identity=helo;
  client-ip=209.85.212.179;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="thomas.gazagnaire@gmail.com";
  x-sender="postmaster@mail-wi0-f179.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BYAQCK3exUlLPUVdFbg1has0CPYIVwgTFDAQEBAQEBEAEBAQEHCwsJEjCEEAEBBBIoBgEtCwEDDAEFBRgNITQBBQEKEgYTEhCHeQMRBAEIr2g+MZAQjjwnAwqFLwEBCAEBAQEBARYBBQ6LBYQ7g1GBFAWEXwqOUoc5hQ+LDjWBFVuBeYE8b4JDAQEB
X-IPAS-Result: A0BYAQCK3exUlLPUVdFbg1has0CPYIVwgTFDAQEBAQEBEAEBAQEHCwsJEjCEEAEBBBIoBgEtCwEDDAEFBRgNITQBBQEKEgYTEhCHeQMRBAEIr2g+MZAQjjwnAwqFLwEBCAEBAQEBARYBBQ6LBYQ7g1GBFAWEXwqOUoc5hQ+LDjWBFVuBeYE8b4JDAQEB
X-IronPort-AV: E=Sophos;i="5.09,641,1418079600"; 
   d="scan'208";a="101197703"
Received: from mail-wi0-f179.google.com ([209.85.212.179])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Feb 2015 21:26:04 +0100
Received: by mail-wi0-f179.google.com with SMTP id ex7so210486wid.0;
        Tue, 24 Feb 2015 12:26:04 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=sender:content-type:mime-version:subject:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to;
        bh=EkdXzqF6QrHNxEYKxjdVQEWJr6B38dzyo9614WU8XU8=;
        b=PejJ0sp9/yqj8RSjR62M7KOc6fmiNcMIE0XPsl/QW8deEXvtKhZCdJCDIV5Txaxr92
         rRjmYFl7+yVNriHu0EFyMnmLbgs6aCNjULn/OTqxfsGMvZZfUfLOHvqvzm85cgrT92Rx
         nzI0B6xnfxUQKzYuT/d4YOH9CrZPPnvlfuu5Roz9Acap1YPqwXu5qYLl//h8R52aWVTS
         +pe7n/n7egB60aLsOD+iKBqNoPSvS3idzCGK10wjbHfw84XNrMbH5QdUx5/yCR9qVioT
         uMLLHMRBmn8aWznCrMPzMkFf+zWeQ4E2eAIvOkzJPjG6FCKkPI+heH7WUQCDCQ07ZfiZ
         Miyg==
X-Received: by 10.194.63.206 with SMTP id i14mr36461681wjs.107.1424809563939;
        Tue, 24 Feb 2015 12:26:03 -0800 (PST)
Received: from [192.168.0.2] (cpc25-cmbg14-2-0-cust121.5-4.cable.virginm.net. [213.106.112.122])
        by mx.google.com with ESMTPSA id yy9sm61711721wjc.20.2015.02.24.12.26.02
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Tue, 24 Feb 2015 12:26:03 -0800 (PST)
Sender: Thomas Gazagnaire <thomas.gazagnaire@gmail.com>
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\))
From: Thomas Gazagnaire <thomas@gazagnaire.org>
In-Reply-To: <54ECBBA4.9030405@inria.fr>
Date: Tue, 24 Feb 2015 20:26:01 +0000
Cc: OCaml Mailing List <caml-list@inria.fr>
Content-Transfer-Encoding: quoted-printable
Message-Id: <02647772-FD85-4497-A2C6-9C9FD83CBEC8@gazagnaire.org>
References: <54ECBBA4.9030405@inria.fr>
To: Francois Berenger <francois.berenger@inria.fr>
X-Mailer: Apple Mail (2.2070.6)
Subject: Re: [Caml-list] indenting a .ml file with emacs in batch mode using
 ocaml-mode style

`ocp-indent -i <file>` ?

Thomas
> On 24 Feb 2015, at 17:57, Francois Berenger <francois.berenger@inria.fr> =
wrote:
>=20
> Hello,
>=20
> Is there anyone who knows how to tell emacs how to indent a given .ml fil=
e using the indentation style from ocaml-mode?
>=20
> It should ressemble something like this:
>=20
> emacs -batch source.ml \
>  --eval '(indent-region (point-min) (point-max) nil)' \
>  -f save-buffer
>=20
> I just don't know how to tell emacs to use the ocaml-mode for that
> instead of whatever the user has configured in his ~/.emacs (for example,=
 instead of tuareg-mode).
>=20
> Thanks a lot,
> Francois.
>=20
> --=20
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs