opam init fails on docker
I'm trying to install a simple linux environment with opam on docker: $ type .Dockerfile_Opam.txt FROM ubuntu:22.04 RUN apt-get update -y && apt-get install opam -y && opam init Equivalent commands work fine on native linux but with docker I…