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.