Use a longer, more descriptive --no-setup opam option.

It disables user shell environment setup.
This commit is contained in:
Daniil Baturin 2021-02-28 05:24:21 +02:00
parent f6f2c1e18b
commit 430084797b

View File

@ -119,7 +119,7 @@ RUN dpkg-reconfigure ca-certificates; \
RUN curl https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh \
--output /tmp/opam_install.sh --retry 10 --retry-delay 5 && \
sed -i 's/read BINDIR/BINDIR=""/' /tmp/opam_install.sh && sh /tmp/opam_install.sh && \
opam init --root=/opt/opam --comp=4.09.1 --disable-sandboxing -n
opam init --root=/opt/opam --comp=4.09.1 --disable-sandboxing --no-setup
RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \
pcre re