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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 693D47F2A1 for ; Fri, 14 Dec 2012 19:09:43 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail1-smtp-roc.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 (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wg0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisDAHpqy1BKfVI2jWdsb2JhbABFgy8ZuzUIFg4BAQEBCQkLCRIGI4JfBgE4AQMNBX8BBQEiJ4dtAw8ECJ4fjy6FOScNiU8BBQyQLWEDklaET4RPiH0/gVeCPg X-IronPort-AV: E=Sophos;i="4.84,282,1355094000"; d="scan'208";a="186243036" Received: from mail-wg0-f54.google.com ([74.125.82.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Dec 2012 19:09:42 +0100 Received: by mail-wg0-f54.google.com with SMTP id fg15so1558459wgb.9 for ; Fri, 14 Dec 2012 10:09:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:content-type:content-transfer-encoding:subject:date :message-id:cc:to:mime-version:x-mailer; bh=7RAu33E640eF9qnAgTiuYpPJ0ICr/+Oz04XYTW85HPA=; b=H3AOIf9vBbAJ4Hi2gXIDNuQjrNV7EYdB6zWxfk5rd+yPgDJ6B1pYi1VLSrtihFTecN 9SRXafKUtY/VGLCRMRwB62NgtWFh8FG/UEquPryW53qg4+CQhqNCBcEHUggDdeZAlnQ0 jTwIPySOU5TWetdjVt3G5oysGBwjgJh3s5oAKJQ3iNKAAVn4+ahlnRu6b+ROuU6/d8cR 79UrqK3MrE5ALfQKb53DhslExfDfvInn1I/nheyxD5LZhpqkIirhVKmUcO39fPoVVKKA Rp+6Sz+xbdSmrAqfgaHkxsYey62BdRZc29GnR9R7ByLO8xfUWVNcia3zoxh2H4DlZX1/ CiYQ== Received: by 10.180.90.106 with SMTP id bv10mr4143814wib.12.1355508582854; Fri, 14 Dec 2012 10:09:42 -0800 (PST) Received: from [192.168.0.14] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPS id l5sm8757440wia.10.2012.12.14.10.09.41 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 14 Dec 2012 10:09:42 -0800 (PST) Sender: Thomas Gazagnaire From: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Fri, 14 Dec 2012 19:09:40 +0100 Message-Id: Cc: =?iso-8859-1?Q?Daniel_B=FCnzli?= To: OCaml mailing-list Mime-Version: 1.0 (Apple Message framework v1085) X-Mailer: Apple Mail (2.1085) Subject: [Caml-list] [RFC] new OPAM command-line interface Hi, In order to prepare the beta release of OPAM (which should hopefully be ann= ounced at the end of next week if everything goes well), I've been working = on improving its command-line interface (which is currently a bit had-hoc).= Thanks to the great Daniel Bunzli's cmdliner[1] library, I now have a nice= -- but incompatible -- command-line interface in the 'cmdliner' branch[2]. The main changes are: * an uniform help interface, where all flags and parameters are correctly d= ocuments * no more -long-option, only -s or --long * 'opam remote' is still there for convenience but will be deprecated; use = 'opam repository' instead * use of sub-sub-commands when necessary (ie. 'opam repository add') * use non-ambiguous prefix of sub-command instead of the subcommand (ie. 'o= pam repo' or 'opam rem') * AND: a nice 'opam --help' and 'opam --help' output I'm quite keen to get community feedback on this new command-line. Feel fre= e to comment here, or to to use the issue tracker[3]. Cheers, Thomas [1] http://erratique.ch/software/cmdliner [2] git clone -b cmdliner git://github.com/OCamlPro/opam.git [3] https://github.com/OCamlPro/opam/issues/157