diff --git a/ubuntu/installer.sh b/ubuntu/installer.sh index 9f4536b..2d32959 100644 --- a/ubuntu/installer.sh +++ b/ubuntu/installer.sh @@ -43,7 +43,7 @@ sudo apt-get -qq -y install python-pip sudo apt-get -qq -y install python3-dev sudo apt-get -qq -y install python3-pip sudo apt-get -qq -y install m4 -curl -kL https://raw.github.com/hcarty/ocamlbrew/master/ocamlbrew-install | bash +wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin # Editors echo "Installing editors..."