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.

Regards,


--
Paolo