On Tue, May 28, 2013 at 8:32 PM, Mr. Herr <misterherr@freenet.de> 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"...


there must be a server wide install somehow.


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

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


-- 
*Paolo*