Make devcontainer work in WSL and proxy environments#52

olivembo wants to merge 8 commits intoeclipse-score:maineclipse-score/devcontainer:mainfrom

etas-contrib:make-devcontainer-also-work-in-environments-with-proxyetas-contrib/score_devcontainer:make-devcontainer-also-work-in-environments-with-proxyCopy head branch name to clipboard