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 7FB547EE51 for ; Wed, 29 May 2013 23:11:50 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=209.85.215.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mmatalka@gmail.com designates 209.85.215.172 as permitted sender) identity=mailfrom; client-ip=209.85.215.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@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-ea0-f172.google.com) identity=helo; client-ip=209.85.215.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-ea0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsBAJBuplHRVdesjWdsb2JhbABagmjCVYEKFg4BAQEBBwsLCRIGJIIjAQEEAUABGx0BAwELBgULDQkeBw8BBA8RAQUBCxcTh3oBAwkGAZwEjD+CfYRxChknDAFYiCIBBQyPBweDVwOXO49bP4Q1 X-IPAS-Result: AlsBAJBuplHRVdesjWdsb2JhbABagmjCVYEKFg4BAQEBBwsLCRIGJIIjAQEEAUABGx0BAwELBgULDQkeBw8BBA8RAQUBCxcTh3oBAwkGAZwEjD+CfYRxChknDAFYiCIBBQyPBweDVwOXO49bP4Q1 X-IronPort-AV: E=Sophos;i="4.87,766,1363129200"; d="scan'208";a="19525681" Received: from mail-ea0-f172.google.com ([209.85.215.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 May 2013 23:11:29 +0200 Received: by mail-ea0-f172.google.com with SMTP id d10so5912669eaj.31 for ; Wed, 29 May 2013 14:11:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=N/zY4P98dQ0W6TjU3Jepjsm54vcFJn5FtGmFP6nnebs=; b=0ZF5F76VHNqgucQLJs23b8T9Fv0U7GFteyBV6AvB33T/W9UxO9jlsSPp2QY0cX2oSn wnHTIrdvtleRONOtUGgS/pxT8PBRtoV9zBAzV1cKyVso751V6SLt06qjxXob4JEkkKL5 TsIA6fnI3U+qXVGWmApUlmJ/nXfYj3+tlzHV3DWZW+TPkw5ZuJidt2JCJI1adHngyEy7 5n4iAD+Kaxe283q1w0IJNdOLM/eqYC/R4pmvv6BZ+jz5q+cD9XsxgE6ta/FYRMyoGh9/ DzodcgmpBUxCUB/IFzZiskAxgrSPdtTDtdyfit7NfoOps52nsylHZzj7B8fX8+mcH9km y6EQ== X-Received: by 10.14.178.1 with SMTP id e1mr6497926eem.139.1369861889480; Wed, 29 May 2013 14:11:29 -0700 (PDT) Received: from localhost ([2a01:7e00::f03c:91ff:fe70:2696]) by mx.google.com with ESMTPSA id s43sm56322248eem.13.2013.05.29.14.11.28 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Wed, 29 May 2013 14:11:28 -0700 (PDT) From: Malcolm Matalka To: "Mr. Herr" Cc: 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> <51A669A9.2070505@freenet.de> Date: Wed, 29 May 2013 21:11:27 +0000 In-Reply-To: <51A669A9.2070505@freenet.de> (Herr's message of "Wed, 29 May 2013 22:48:41 +0200") Message-ID: <87r4gppk3k.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's variables) Why would you need to roll out opem libraries for production? You should build a binary and distribute the binary to the machines. I prefer per-user install. I have, numerous times, felt suffocated on systems that require going through some bureaucracy to install a package (which is one reason I use NixOS everywhere I can). /M "Mr. Herr" writes: > 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.