Am 29.05.2013 00:43, schrieb Paolo Donadeo:
On Wed, May 29, 2013 at 12:17 AM, Mr. Herr <misterherr@freenet.de> wrote:
I see, this is over and out. Very constructive.

Mr. Herr, sorry for the irony, so I'll be serious, as you wish.

What kind of constructive comment can you realistically expect in reply to "Linux is a server"?

Linux is an operating system, not a "server", nor a "service". I spend 99% of my programming time on a Linux box since 20 years, and the only services running here are the system services like CUPS. The choice of OPAM's designers to install everything in the user home directory has been explained by Anil very clearly.

I only add that I always installed GODI in ~/.godi rather than in /opt .

Your comment was inaccurate, so my reply is ironical, but not harsh.


Indeed "Linux is a server" is not well said.

I meant to say "Linux is a multiuser system" and it has always been, so one can reasonably expect software installation to deal with it with ease.

There are certainly advantages in the ~/.opam design decision, but I have yet to find out how to roll out my ~/.opam libraries for production.

And very true, I was not prepared for irony on this point.

/Str.