mirror of https://github.com/zeldaret/tp.git
30 lines
1.2 KiB
JSON
30 lines
1.2 KiB
JSON
// 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.245.2/containers/ubuntu
|
|
{
|
|
"name": "Ubuntu",
|
|
"build": {
|
|
"dockerfile": "Dockerfile",
|
|
// Update 'VARIANT' to pick an Ubuntu version: jammy / ubuntu-22.04, focal / ubuntu-20.04, bionic /ubuntu-18.04
|
|
// Use ubuntu-22.04 or ubuntu-18.04 on local arm64/Apple Silicon.
|
|
"args": { "VARIANT": "ubuntu-22.04" }
|
|
},
|
|
|
|
"extensions": [
|
|
"ms-vscode.cpptools-extension-pack",
|
|
"mhutchie.git-graph"
|
|
],
|
|
|
|
// Use 'forwardPorts' to make a list of ports inside the container available locally.
|
|
// "forwardPorts": [],
|
|
|
|
// Use 'postCreateCommand' to run commands after the container is created.
|
|
"updateContentCommand": "python3 -m pip install --user -r tools/requirements.txt",
|
|
"postCreateCommand": "./tp setup || echo \"\\nMake sure you put the compiler in the appropriate folder and copied the ISO in the right folder.\\nThen run \\\"./tp setup\\\" again.\\n\"",
|
|
|
|
// Comment out to connect as root instead. More info: https://aka.ms/vscode-remote/containers/non-root.
|
|
"remoteUser": "vscode",
|
|
"features": {
|
|
"python": "3.8"
|
|
}
|
|
}
|