Browse Source

chore: synced file(s) with dgibbs64/repo-sync (#77)

* chore: synced local '.github/' with remote 'general/.github/'

* chore: synced local './' with remote 'docker/'
pull/74/head
Daniel Gibbs 2 days ago
committed by GitHub
parent
commit
8617e77a3a
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 26
      .devcontainer/devcontainer.json

26
.devcontainer/devcontainer.json

@ -0,0 +1,26 @@
{
"name": "Docker Dev Container",
"image": "mcr.microsoft.com/devcontainers/base:ubuntu",
"features": {
"ghcr.io/devcontainers-community/npm-features/prettier:1": {},
"ghcr.io/devcontainers-extra/features/actionlint:1": {},
"ghcr.io/devcontainers-extra/features/checkov:1": {},
"ghcr.io/devcontainers-extra/features/markdownlint-cli:1": {},
"ghcr.io/devcontainers-extra/features/shellcheck:1": {},
"ghcr.io/devcontainers-extra/features/yamllint:2": {},
"ghcr.io/devcontainers/features/github-cli:1": {}
},
"customizations": {
"vscode": {
"extensions": [
"DavidAnson.vscode-markdownlint",
"editorconfig.editorconfig",
"esbenp.prettier-vscode",
"github.vscode-github-actions",
"GitHub.vscode-pull-request-github",
"redhat.vscode-yaml",
"yzhang.markdown-all-in-one"
]
}
}
}
Loading…
Cancel
Save