You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
45 lines
1.8 KiB
45 lines
1.8 KiB
4 years ago
|
// For format details, see https://aka.ms/devcontainer.json. For config options, see the README at:
|
||
|
|
// https://github.com/microsoft/vscode-dev-containers/tree/v0.166.1/containers/docker-existing-dockerfile
|
||
|
|
{
|
||
|
|
"name": "Dockerfile",
|
||
|
|
|
||
|
|
// 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": "../Dockerfile.x86_64",
|
||
|
|
|
||
|
|
// Set *default* container specific settings.json values on container create.
|
||
|
|
"settings": {
|
||
|
|
"terminal.integrated.shell.linux": null
|
||
|
|
},
|
||
|
|
|
||
|
|
// Add the IDs of extensions you want installed when the container is created.
|
||
|
|
"extensions": [
|
||
|
|
"editorconfig.editorconfig",
|
||
|
|
"foxundermoon.shell-format",
|
||
|
|
"timonwong.shellcheck",
|
||
|
|
"dtsvet.vscode-wasm",
|
||
|
|
"13xforever.language-x86-64-assembly",
|
||
|
|
"ms-vscode.cpptools-extension-pack"
|
||
|
|
],
|
||
|
|
|
||
|
|
"workspaceMount": "source=${localWorkspaceFolder},target=/sledge,type=bind,consistency=cached",
|
||
|
|
"workspaceFolder": "/sledge",
|
||
|
|
|
||
|
|
// 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": "make -C /sledge install && make -B -C /sledge/runtime/tests clean all",
|
||
|
|
|
||
|
|
// Uncomment when using a ptrace-based debugger like C++, Go, and Rust
|
||
|
|
// "runArgs": [ "--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined" ],
|
||
|
|
|
||
|
|
// Uncomment to use the Docker CLI from inside the container. See https://aka.ms/vscode-remote/samples/docker-from-docker.
|
||
|
|
// "mounts": [ "source=/var/run/docker.sock,target=/var/run/docker.sock,type=bind" ],
|
||
|
|
|
||
|
|
// Uncomment to connect as a non-root user if you've added one. See https://aka.ms/vscode-remote/containers/non-root.
|
||
|
|
"remoteUser": "root",
|
||
|
|
}
|