50 lines
1.4 KiB
JSON
50 lines
1.4 KiB
JSON
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
|
|
// README at: https://github.com/devcontainers/templates/tree/main/src/ubuntu
|
|
{
|
|
"name": "Ubuntu",
|
|
// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
|
|
"build": {
|
|
"dockerfile": "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": [],
|
|
|
|
// Use 'postCreateCommand' to run commands after the container is created.
|
|
// "postCreateCommand": "uname -a",
|
|
|
|
// Configure tool-specific properties.
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"maximedenes.vscoq"
|
|
],
|
|
"settings": {
|
|
"coqtop.binPath" : "/home/cis5000/.opam/4.14.0/bin",
|
|
"files.exclude": {
|
|
"**/*.aux": true,
|
|
"**/*.glob": true,
|
|
"**/*.vo": true,
|
|
"**/*.vos": true,
|
|
"**/*.vok": true,
|
|
"**/*.html": true,
|
|
"**/.*.report": true,
|
|
"**/.*.cache": true
|
|
},
|
|
"coq.loadCoqProject": true,
|
|
"coq.coqProjectRoot": ".",
|
|
"[coq]": {
|
|
"editor.tabSize": 2,
|
|
"editor.insertSpaces": true
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
|
|
// "remoteUser": "root"
|
|
}
|