diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000000000000000000000000000000000000..f3d2a5db8c9afd3b5da864f22f9011337784f627 --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,26 @@ +// For format details, see https://aka.ms/devcontainer.json. For config options, see the +// README at: https://github.com/devcontainers/templates/tree/main/src/docker-existing-dockerfile +{ + "name": "Existing Dockerfile", + // "build": { + // // Sets the run context to one level up instead of the .devcontainer folder. + // "context": "..", + // // Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename. + // "dockerfile": "../.cde.Dockerfile" + // }, + + // Features to add to the dev container. More info: https://containers.dev/features. + // "features": {}, + + // 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. + "postCreateCommand": "bash azure.sh" + + // Configure tool-specific properties. + // "customizations": {}, + + // Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root. + // "remoteUser": "devcontainer" +} \ No newline at end of file diff --git a/.devcontainer/tmpspace.sh b/.devcontainer/tmpspace.sh new file mode 100644 index 0000000000000000000000000000000000000000..515f6c391c42ea1a9679e620e498ecfd54a1b935 --- /dev/null +++ b/.devcontainer/tmpspace.sh @@ -0,0 +1,2 @@ +sudo mv /var/lib/docker/ /tmp/ +sudo ln -s /tmp/docker /var/lib/docker \ No newline at end of file