This commit is contained in:
2022-11-17 22:41:10 +00:00
parent efd59cafa3
commit 03ef3c0fe7
6 changed files with 24 additions and 26 deletions

View File

@@ -4,8 +4,7 @@
// Features to add to the dev container. More info: https://containers.dev/implementors/features.
"features": {
"ghcr.io/devcontainers/features/docker-from-docker:1": {},
"ghcr.io/devcontainers/features/nix:1": {},
"./dev_shell": {}
"ghcr.io/devcontainers/features/nix:1": {}
},
// Use 'forwardPorts' to make a list of ports inside the container available locally.
// "forwardPorts": [],