Install editors in Docker containers
I am sometimes manually starting the Dune Docker containers to debug an issue. One thing that bugs me quite a bit is that there is no command line editor installed in the image. I cannot install it myself, because I cannot become root in this container. Is there another way to install an editor? Or can we at least install nano
into the base image?