{ "name": "Lean Development Container", "workspaceMount": "source=${localWorkspaceFolder},target=/Lean,type=bind", "workspaceFolder": "/Lean", // Use devcontainer Dockerfile that is based on Lean foundation image "build": { "dockerfile": "Dockerfile" }, //See https://containers.dev/implementors/json_reference/ for a comprehensive json schema used to define this file. "customizations": { "vscode": { // Add the IDs of extensions you want installed when the container is created. "extensions": [ "ms-dotnettools.csdevkit", "ms-python.python", "eamodio.gitlens", "yzhang.markdown-all-in-one", "SonarSource.sonarlint-vscode" ], // Set *default* vscode specific settings.json values on container create. "settings": { "terminal.integrated.profiles.linux": { "bash": { "path": "bash", "icon": "terminal-bash" } } } } }, //use the same network configuration as the host machine, ensuring no problems with firewalls, proxies etc. "runArgs": [ "--network=host" ], // Use 'forwardPorts' to make a list of ports inside the container available locally. // "forwardPorts": [], // Uncomment the next line to run commands after the container is created - for example installing curl. "postCreateCommand": "dotnet nuget add source /Lean/LocalPackages;chmod u+x /Lean/.vscode/launch_research.sh;dos2unix /Lean/.vscode/launch_research.sh", // Add mounts to docker container "mounts": [ // Example data mount from local machine, must use target directory in Config.json // "source=C:/Users/XXXXXXXXXXXX/Lean/Data,target=/Data,type=bind,consistency=cached" ] }