We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
--bare
1 parent 106d4c5 commit a0db58eCopy full SHA for a0db58e
.devcontainer/Dockerfile
@@ -23,7 +23,7 @@ RUN curl -L -o /usr/bin/opam https://github.com/ocaml/opam/releases/download/2.3
23
24
USER ${USERNAME}
25
26
-RUN opam init -a --disable-sandboxing --yes && \
+RUN opam init -a --disable-sandboxing --yes --bare && \
27
opam switch create 5.2.0+flambda2 --yes \
28
--repos "with-extensions=git+https://github.com/janestreet/opam-repository.git#with-extensions,default" && \
29
eval $(opam env --switch 5.2.0+flambda2) && \
0 commit comments