From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1FABE7EE51 for ; Wed, 29 May 2013 22:50:59 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout3.freenet.de) identity=helo; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout3.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQCACloplHDBFxddmdsb2JhbABagmiEDIVeuGuBChYOAQoLCwkRBiWCIwEBBSNVEQsEFAkWCAMCAgkDAgECATQREwYCAQGHdgEDEAOncIhFCUEMaAGIGI8aFoItgRQDnVmOMw X-IPAS-Result: AhQCACloplHDBFxddmdsb2JhbABagmiEDIVeuGuBChYOAQoLCwkRBiWCIwEBBSNVEQsEFAkWCAMCAgkDAgECATQREwYCAQGHdgEDEAOncIhFCUEMaAGIGI8aFoItgRQDnVmOMw X-IronPort-AV: E=Sophos;i="4.87,766,1363129200"; d="scan'208,217";a="16122381" Received: from mout3.freenet.de ([195.4.92.93]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 29 May 2013 22:50:58 +0200 Received: from [195.4.92.141] (helo=mjail1.freenet.de) by mout3.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.80.1 #3) id 1UhnKj-0008UX-Hp for caml-list@inria.fr; Wed, 29 May 2013 22:50:57 +0200 Received: from localhost ([::1]:46431 helo=mjail1.freenet.de) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.80.1 #3) id 1UhnKj-00041C-Db for caml-list@inria.fr; Wed, 29 May 2013 22:50:57 +0200 Received: from [195.4.92.19] (port=55942 helo=9.mx.freenet.de) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.80.1 #3) id 1UhnIZ-00081B-22 for caml-list@inria.fr; Wed, 29 May 2013 22:48:43 +0200 Received: from cl-252.ham-02.de.sixxs.net ([2001:6f8:1c00:fb::2]:57638 helo=suse123-intel.home.loc) by 9.mx.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) (port 465) (Exim 4.80.1 #3) id 1UhnIY-00043d-Pi for caml-list@inria.fr; Wed, 29 May 2013 22:48:43 +0200 Message-ID: <51A669A9.2070505@freenet.de> Date: Wed, 29 May 2013 22:48:41 +0200 From: "Mr. Herr" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130329 Thunderbird/17.0.5 MIME-Version: 1.0 To: caml-list@inria.fr References: <20130523235355.GI6510@siouxsie> <20130526150008.GA2014@siouxsie> <20130526234911.41866xca7wgoirfb@webmail.in-berlin.de> <51A30E01.5070300@freenet.de> <51A3C03C.4000205@freenet.de> <51A3C3D6.9020003@etorok.net> <51A3CBBD.8040609@freenet.de> <51A4052F.7000700@riken.jp> <51A4F822.8070407@freenet.de> <51A52CE3.6060002@freenet.de> In-Reply-To: Content-Type: multipart/alternative; boundary="------------080500010701080300030009" Subject: Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's variables) This is a multi-part message in MIME format. --------------080500010701080300030009 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Am 29.05.2013 00:43, schrieb Paolo Donadeo: > On Wed, May 29, 2013 at 12:17 AM, Mr. Herr > 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. --------------080500010701080300030009 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit
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.
--------------080500010701080300030009--