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 q28DTL7O020110 for ; Thu, 8 Mar 2012 14:29:21 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEBAAKzWE/RVdW2kGdsb2JhbABCgxaCLK9hCCIBAQEBCQkNBxQEI4IKAQEBBBICDxUIARscAQEDDAYFCw0CAgUWCwICCQMCAQIBEREBBQEcBg0BBwEBHodooVQKiyhMgnGFQD+BDAEFC4EkiQSFJYEWBIhSjHOFZYE6hxs9hCKBOA X-IronPort-AV: E=Sophos;i="4.73,552,1325458800"; d="scan'208";a="135029906" Received: from mail-yx0-f182.google.com ([209.85.213.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Mar 2012 14:29:15 +0100 Received: by yenl9 with SMTP id l9so243205yen.27 for ; Thu, 08 Mar 2012 05:29:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=1lVisR0lokT9DQREBtnoyTO/A+/SoX4vwyOEgL3UTnY=; b=xwiJPOwK7hV5SxxUf56zofVFahm5lgdld9n04Xly+rew2nmKmLH9OJp0UnPxs8FTFn vnRpy20WtP2eP5rGwaTH+PDyGfiZ0ceyKke5lZQlzw/HyessoE6zMeFpuAFCfwlnLnca Fu/JX23qkqc9hNp7LSCjM7Cx9J97KFinPB9vH0KGnPKm83dVvhg3eYvVXIqctnf9LH07 7vZnPWlUW6qaH5T7S7lNzXcepRqWelL+itwNUczjOH+0Dcd4I48UvIgvnWZcW32I7+PP Y40+rRXy4uN9YdJdN1HjBRv5HyFSz4aR6sJpL/fepd/mXKzRpt1MNLk5f8u+b2w3Hwoo GbIQ== Received: by 10.60.25.65 with SMTP id a1mr2947994oeg.23.1331213354338; Thu, 08 Mar 2012 05:29:14 -0800 (PST) Received: from [192.168.1.65] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net. [99.121.78.10]) by mx.google.com with ESMTPS id v7sm2594835obh.1.2012.03.08.05.29.12 (version=SSLv3 cipher=OTHER); Thu, 08 Mar 2012 05:29:12 -0800 (PST) Message-ID: <4F58B427.7030007@gmail.com> Date: Thu, 08 Mar 2012 08:29:11 -0500 From: Edgar Friendly User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2 MIME-Version: 1.0 To: Francois Berenger CC: caml-list@inria.fr References: <35CD2569B25340E28784ABDB2505BDC2@erratique.ch> <4F577292.1070502@gmail.com> <4F580514.6050703@riken.jp> In-Reply-To: <4F580514.6050703@riken.jp> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] odb questions On 03/07/2012 08:02 PM, Francois Berenger wrote: > Wouldn't it be possible to have 'odb remove foo' just call > 'ocamlfind remove foo'? > Yes, this is possible. Most details of this are already implemented; the code to do `ocamlfind remove foo` is already implemented as part of --force for reinstalling/upgrading packages that don't ocamlfind remove themselves as part of their `make install`, but... This doesn't remove the package. It only stops ocamlfind from complaining about double installation of the same package. If users want to remove an ocamlfind package, they can type "ocamlfind remove foo" themselves; it's saving them only a few keystrokes to have an odb alias for the same thing, and even if it were added, it wouldn't work properly in many cases, as it wouldn't deal with executables and any other files installed by a program (documentation, etc.). For myself, when I want to remove something installed by odb, I usually just nuke my whole ~/.odb directory and reinstall the packages I want to keep. Thus my resistance to 'odb --remove foo'. E.