Skip to content

Commit 43eb55e

Browse files
committed
adding docker in docker
1 parent 2221c26 commit 43eb55e

File tree

1 file changed

+17
-14
lines changed

1 file changed

+17
-14
lines changed

.devcontainer/devcontainer.json

Lines changed: 17 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,21 @@
11
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
22
// README at: https://github.com/devcontainers/templates/tree/main/src/docker-existing-dockerfile
33
{
4-
"name": "Existing Dockerfile",
5-
"build": {
6-
"context": ".",
7-
"dockerfile": "Dockerfile"
8-
},
9-
"customizations": {
10-
"vscode": {
11-
"settings": {
12-
"extensions.ignoreRecommendations": true, // Prevents syncing of recommended extensions.
13-
"extensions.autoUpdate": false // Optional: disables automatic updates for extensions.
14-
},
15-
"extensions": ["noir-lang.vscode-noir"]
16-
}
17-
}
4+
"name": "Existing Dockerfile",
5+
"build": {
6+
"context": ".",
7+
"dockerfile": "Dockerfile"
8+
},
9+
"customizations": {
10+
"vscode": {
11+
"settings": {
12+
"extensions.ignoreRecommendations": true, // Prevents syncing of recommended extensions.
13+
"extensions.autoUpdate": false // Optional: disables automatic updates for extensions.
14+
},
15+
"extensions": ["noir-lang.vscode-noir"]
16+
}
17+
},
18+
"features": {
19+
"ghcr.io/devcontainers/features/docker-in-docker:2": {}
20+
}
1821
}

0 commit comments

Comments
 (0)