[opam-devel] Fedora, CentOS, RHEL installation URL 404
p.donadeo at gmail.com
Fri Nov 10 17:07:02 GMT 2017
Having installed OPAM on many servers (both Debian/Ubuntu and CentOS but
expecially CentOS) my advice is to use the binary installer as explained
*root is not really required*, I usually install in an unprivileged user
*$ wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh
<https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh> -O - |
sh -s ~/bin*
All you need is tu put *~/bin* in your *$PATH*.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the opam-devel