From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E0AC47EE51 for ; Wed, 29 May 2013 00:43:59 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of p.donadeo@gmail.com) identity=pra; client-ip=209.85.214.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of p.donadeo@gmail.com designates 209.85.214.172 as permitted sender) identity=mailfrom; client-ip=209.85.214.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f172.google.com) identity=helo; client-ip=209.85.214.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="postmaster@mail-ob0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtMBAFsypVHRVdasjWdsb2JhbABZhnS+a38IFg4BAQEBBwsLCRIGJIIjAQEEASMdARseAwELBgUEBzcCAiIBEQEFARwGE4d6AQMJBp4ci3BPgn2EegoZJwwBWId1AQUMjxiCQYETA5c7j1sWKYQ3Og X-IPAS-Result: AtMBAFsypVHRVdasjWdsb2JhbABZhnS+a38IFg4BAQEBBwsLCRIGJIIjAQEEASMdARseAwELBgUEBzcCAiIBEQEFARwGE4d6AQMJBp4ci3BPgn2EegoZJwwBWId1AQUMjxiCQYETA5c7j1sWKYQ3Og X-IronPort-AV: E=Sophos;i="4.87,760,1363129200"; d="scan'208";a="19361728" Received: from mail-ob0-f172.google.com ([209.85.214.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 May 2013 00:43:59 +0200 Received: by mail-ob0-f172.google.com with SMTP id tb18so9842118obb.31 for ; Tue, 28 May 2013 15:43:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=39zxUzxdQMvL0iYB3KZgvPWudEDvHpw+uU5bquFqmrQ=; b=ay//SOkRjdsvACvv4RGHtw2WdGQmDb1h3P0aMHPwLDuMsosezSUvauwPd1iseNS6hU 7vp9KVh0+rCMCT0m4/Bx+B+KlDVsW+YNecrMj6zIIv6schF09q00/jfAEtLicIdslSEz 9yJO1zkZYmurd3FwJ/N8p3y7LADqVJmtrNYwP73pLFu5qWOXRSZ7ZwUPpFEYz7u03S8a NSEi1pRKjXP56SoUep35jgydJQLZycgkk0rAF+Jj2HT3TFkjLqv+tOsQDtPpUVPVkbx+ YC8wLb9sDtVqp50Up/+Sy+O+HwbRZqvVZRVa/omADqVOTCAQf15ZWT7e0iV/fflrauPL di+A== X-Received: by 10.182.129.4 with SMTP id ns4mr4534obb.22.1369781038173; Tue, 28 May 2013 15:43:58 -0700 (PDT) MIME-Version: 1.0 Received: by 10.76.26.44 with HTTP; Tue, 28 May 2013 15:43:18 -0700 (PDT) In-Reply-To: <51A52CE3.6060002@freenet.de> 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> From: Paolo Donadeo Date: Wed, 29 May 2013 00:43:18 +0200 Message-ID: To: OCaml mailing list Content-Type: multipart/alternative; boundary=e89a8fb1fc0033587a04ddcf0026 Subject: Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's variables) --e89a8fb1fc0033587a04ddcf0026 Content-Type: text/plain; charset=UTF-8 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. Regards, -- *Paolo* --e89a8fb1fc0033587a04ddcf0026 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Wed, May 29, 2013 at 12:17 A= M, 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&q= uot;, nor a "service". I spend 99% of my programming time on a Li= nux box since 20 years, and the only services running here are the system s= ervices 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 in= accurate, so my reply is ironical, but not harsh.

Regards,


--
Paolo
--e89a8fb1fc0033587a04ddcf0026--