Post #2279904

@andrejbauer@mathstodon.xyz do you use it from vs code? If yes, it's easy to hook up vs code with a docker container while mounting the directory you are working in, but nothing else. https://code.visualstudio.com/docs/devcontainers/containers