Skip to content

Instantly share code, notes, and snippets.

@tianhaoz95

tianhaoz95/devcontainer.json

Last active June 1, 2021 04:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tianhaoz95/7f0276cad6f44edad64f8d55a15f9755 to your computer and use it in GitHub Desktop.
Save tianhaoz95/7f0276cad6f44edad64f8d55a15f9755 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
devcontainer.json
// devcontainer.json
{
"name": "Awesome dev container",
"build": {
"dockerfile": "Dockerfile"
},
"postStartCommand": "git config --global user.email \"${localEnv:VSCODE_CONTAINER_GIT_EMAIL}\" && git config --global user.name \"${localEnv:VSCODE_CONTAINER_GIT_USER}\""
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment