From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 C06577EE51 for ; Wed, 29 May 2013 00:19:14 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.93; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.93; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout3.freenet.de) identity=helo; client-ip=195.4.92.93; receiver=mail2-smtp-roc.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: AhMCAG4spVHDBFxddmdsb2JhbABZgmiEDIVeuQmBBxYOAQoLCwkRBiWCIwEBBSNVEQsEFAkWCAMCAgkDAgECATQDAQ0TBgIBARqHXAEDEAOqEohCCUEMaAGHa48jARaCK4ETA51ZjjM X-IPAS-Result: AhMCAG4spVHDBFxddmdsb2JhbABZgmiEDIVeuQmBBxYOAQoLCwkRBiWCIwEBBSNVEQsEFAkWCAMCAgkDAgECATQDAQ0TBgIBARqHXAEDEAOqEohCCUEMaAGHa48jARaCK4ETA51ZjjM X-IronPort-AV: E=Sophos;i="4.87,760,1363129200"; d="scan'208,217";a="19360020" Received: from mout3.freenet.de ([195.4.92.93]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 29 May 2013 00:19:14 +0200 Received: from [195.4.92.140] (helo=mjail0.freenet.de) by mout3.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.80.1 #3) id 1UhSEa-0004Bz-VK for caml-list@inria.fr; Wed, 29 May 2013 00:19:12 +0200 Received: from localhost ([::1]:48558 helo=mjail0.freenet.de) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.80.1 #3) id 1UhSEa-0003si-MW for caml-list@inria.fr; Wed, 29 May 2013 00:19:12 +0200 Received: from [195.4.92.16] (port=48004 helo=6.mx.freenet.de) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.80.1 #3) id 1UhSCb-0008T8-6H for caml-list@inria.fr; Wed, 29 May 2013 00:17:09 +0200 Received: from g231054102.adsl.alicedsl.de ([92.231.54.102]:57286 helo=suse123-acer.home.loc) by 6.mx.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) (port 465) (Exim 4.80.1 #3) id 1UhSCa-0000uM-Tc for caml-list@inria.fr; Wed, 29 May 2013 00:17:09 +0200 Message-ID: <51A52CE3.6060002@freenet.de> Date: Wed, 29 May 2013 00:17:07 +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> In-Reply-To: Content-Type: multipart/alternative; boundary="------------070108070907050902020605" Subject: Re: Problems to get larger user base ... (Re: [Caml-list] OCaml's variables) This is a multi-part message in MIME format. --------------070108070907050902020605 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Am 29.05.2013 00:00, schrieb Paolo Donadeo: > On Tue, May 28, 2013 at 8:32 PM, Mr. Herr > wrote: > > hmm, I tried OPAM, but it installed without choice in my home directory. > > > This is an excellent default choice. > > > This is normally a MS win habit. > > > But, what the... Are you talking about the same Windows I know, the OS that > installs everything in C:\Windows\System32 ? > > > Linux is a server > > > O_O > > So I suppose you have root access to each and every Linux "server"... > To mine. > > there must be a server wide install somehow. > > > *$ sudo opam init -r /something/very/serverish/like/usr/* > > and, in general, "man" is your friend ;-) > > I see, this is over and out. Very constructive. In Italy I learned: tutti pazzi. /Str. --------------070108070907050902020605 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Am 29.05.2013 00:00, schrieb Paolo Donadeo:
On Tue, May 28, 2013 at 8:32 PM, Mr. Herr <mi= sterherr@freenet.de> wrote:
hmm, I tried OPAM, but it installed without choice in my home directory.

This is an excellent default choice.


This is=C2=A0normally a MS win habit.

But, what the... Are you talking about the same Windows I know, the OS that installs everything in C:\Windows\System32 ?


Linux is a server

O_O

So I suppose you have root access to each and every Linux "server"...

To mine.

there must be a server wide install somehow.

$ sudo opam init -r /something/very/serverish/like/usr/

and, in general, "man" is your friend ;-)



I see, this is over and out. Very constructive.

In Italy I learned: tutti pazzi.

/Str.
--------------070108070907050902020605--