conda
Update devcontainer setup
What is the idea?
Devcontainers are a convenient way to provide a consistent development environment, particularly for newcomers and in situations such as with Conda, where the setup can be a bit more complicated and runs the risk of polluting the development machine.
This repository already contains a .devcontainer.json file which in principle specifies a devcontainer. However, the file is a bit outdated and in addition relies on docker containers that are currently under scrutiny, c.f. #13162.
The idea here is to provide an updated version, first targeting only Conda itself, later potentially a more comprehensive development environment containing also the conda-libmamba-solver and mamba. It should ideally also be based on a standard container, alleviating the need for provision of the more specialized containers discussed in #13162.
Why is this needed?
Having an up-to-date version of the devcontainer specification in the repo will simplify the environment setup described in, e.g. https://conda.github.io/conda-libmamba-solver/dev/setup/#with-conda-conda-docker-images, lowering the barrier of entry for new developers. It will also enable the use of remote development platforms such as gitpod.
