Comment by danmaz74
I gave that a try, then I decided to use devcontainers instead, and I find that better, for the reasons you mentioned.
I gave that a try, then I decided to use devcontainers instead, and I find that better, for the reasons you mentioned.