diff options
| author | Pete Johanson <peter@peterjohanson.com> | 2020-10-12 17:48:38 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-12 17:48:38 -0400 |
| commit | 409d180de9615d06ea8291a1ec7660905951c9aa (patch) | |
| tree | 8bb94a0e8ff11f3d71de91f865ec1bc55b0d4e42 /.devcontainer/devcontainer.json | |
| parent | eee8eb6e776c81192e81f685bd24a3795467ec91 (diff) | |
| parent | 737283bcbcbd771767a82fb8abbdbd087c691808 (diff) | |
Merge pull request #274 from idan/codespaces-config
Tweak devcontainer setups for GitHub Codespaces
Diffstat (limited to '.devcontainer/devcontainer.json')
| -rw-r--r-- | .devcontainer/devcontainer.json | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 940b78b..14feeff 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -3,6 +3,9 @@ "dockerFile": "Dockerfile", "extensions": ["ms-vscode.cpptools"], "runArgs": ["--security-opt", "label=disable"], - "containerEnv": {"WORKSPACE_DIR": "${containerWorkspaceFolder}"} + "containerEnv": {"WORKSPACE_DIR": "${containerWorkspaceFolder}"}, + "settings": { + "terminal.integrated.shell.linux": "/bin/bash" + }, } |