Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Edgar Friendly <thelema314@gmail.com>
To: Francois Berenger <berenger@riken.jp>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] odb questions
Date: Thu, 08 Mar 2012 08:29:11 -0500	[thread overview]
Message-ID: <4F58B427.7030007@gmail.com> (raw)
In-Reply-To: <4F580514.6050703@riken.jp>

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.

  reply	other threads:[~2012-03-08 13:29 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-03-07 12:32 Daniel Bünzli
2012-03-07 14:37 ` Edgar Friendly
2012-03-07 15:47   ` Daniel Bünzli
2012-03-07 15:58     ` Edgar Friendly
2012-03-07 16:28       ` Daniel Bünzli
2012-03-09 14:26       ` Daniel Bünzli
2012-03-09 16:26         ` Edgar Friendly
2012-03-09 16:47           ` Daniel Bünzli
2012-03-08  1:02   ` Francois Berenger
2012-03-08 13:29     ` Edgar Friendly [this message]
2012-03-08 15:41       ` Daniel Bünzli

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4F58B427.7030007@gmail.com \
    --to=thelema314@gmail.com \
    --cc=berenger@riken.jp \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox