lint/.devcontainer/devcontainer.json
Sander Maijers e7b7340a88
Update, clean up VS Code dev container definition (#1863)
* Update and clean up

- Use current hyperlinks.
- Remove redundant explanation and refer to official docs, now dev
containers have gained maturity.

* Update and clean up

- Spell project name more correctly.
- Normalize `Dockerfile` path.
- Remove deprecated setting, leave it to the defaults.
- Add the EditorConfig extension, since the project uses it already and
the functionality is quite critical for contribution.
2021-08-16 09:13:21 -05:00

10 lines
204 B
JSON

{
"name": "Super-Linter",
"context": "..",
"dockerFile": "../Dockerfile",
"extensions": [
"github.vscode-pull-request-github",
"rogalmic.bash-debug",
"EditorConfig.EditorConfig"
]
}