Skip to content

Commit c4acd57

Browse files
authored
Bring back devcontainer apt-get feature
1 parent f58bb25 commit c4acd57

File tree

2 files changed

+14
-16
lines changed

2 files changed

+14
-16
lines changed

.devcontainer/Dockerfile

Lines changed: 0 additions & 6 deletions
This file was deleted.

.devcontainer/devcontainer.json

Lines changed: 14 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,17 @@
11
{
2-
"build": {
3-
"dockerfile": "Dockerfile"
4-
},
5-
// "features": {
6-
// "ghcr.io/devcontainers-extra/features/apt-get-packages:1": {
7-
// // NOTE moved to Dockerfile to utilize docker build cache. But it's actually unclear if this will be faster than the apt-get-packages feature, as it might also utilize overlay filesystem.
8-
// "packages": ["octave", "z3", "multitime"] // Keep in sync with Brewfile, apt-packages.txt
9-
// }
10-
// },
2+
"features": {
3+
"ghcr.io/devcontainers-extra/features/apt-get-packages:1": {
4+
// Keep in sync with Brewfile, apt-packages.txt
5+
"packages": [
6+
"cloc",
7+
"direnv",
8+
"multitime",
9+
"octave",
10+
"shellcheck",
11+
"z3",
12+
]
13+
}
14+
},
1115
"postCreateCommand": "bash scripts/devcontainer_postCreateCommand.sh",
1216
"customizations": {
1317
"vscode": {
@@ -19,4 +23,4 @@
1923
]
2024
}
2125
}
22-
}
26+
}

0 commit comments

Comments
 (0)