Opam repository archival policy and future-proofing Docker images

We use this command in our Dockerfile:

sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam && opam init --reinit -ni

As suggested here: Get opam in a Docker image - #4 by mudrz

But other than that, I don’t think we ever do an explicit git pull or something of the sort.

1 Like