diff options
| author | Idan Gazit <idan@gazit.me> | 2020-10-12 14:23:34 -0700 |
|---|---|---|
| committer | Idan Gazit <idan@gazit.me> | 2020-10-12 14:23:34 -0700 |
| commit | 737283bcbcbd771767a82fb8abbdbd087c691808 (patch) | |
| tree | 8bb94a0e8ff11f3d71de91f865ec1bc55b0d4e42 /.devcontainer/devcontainer.json | |
| parent | eee8eb6e776c81192e81f685bd24a3795467ec91 (diff) | |
Behave properly in GH 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" + }, } |