add dev-shell

This commit is contained in:
2023-05-20 17:30:15 +00:00
parent 86c1a7f346
commit d39b481237
3 changed files with 57 additions and 48 deletions

View File

@@ -9,13 +9,16 @@
},
"customizations": {
"vscode": {
"settings": {
"terminal.integrated.defaultProfile.linux": "dev-shell"
},
"extensions": [
"formulahendry.dotnet-test-explorer",
"jnoortheen.nix-ide",
"eamodio.gitlens"
]
}
},
}
// Features to add to the dev container. More info: https://containers.dev/features.
// "features": {},
@@ -29,7 +32,7 @@
// }
// Use 'postCreateCommand' to run commands after the container is created.
"postCreateCommand": "nix-env -i nixpkgs-fmt"
// "postCreateCommand": "nix-env -i nixpkgs-fmt"
// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
// "remoteUser": "root"