1 // @lint-ignore-every JSONSYNTAX because the format of this file is JSONC, not strict JSON
2 // For format details, see https://aka.ms/vscode-remote/devcontainer.json or the definition README at
3 // https://github.com/microsoft/vscode-dev-containers/tree/master/containers/docker-existing-dockerfile
5 "name": "devcontainer-project",
6 "dockerFile": "Dockerfile",
7 "context": "${localWorkspaceFolder}",
10 "USER_UID": "${localEnv:USER_UID}",
11 "USER_GID": "${localEnv:USER_GID}"
15 // run arguments passed to docker
17 "--security-opt", "label=disable"
25 // extensions to preload before other extensions
26 "PRELOAD_EXTENSIONS": "arrterian.nix-env-selector"
29 // disable command overriding and updating remote user ID
30 "overrideCommand": false,
31 "userEnvProbe": "loginShell",
32 "updateRemoteUserUID": false,
34 // build development environment on creation, make sure you already have shell.nix
35 // "onCreateCommand": "nix-shell --command 'echo done building nix dev environment'",
37 "updateContentCommand": "git submodule update --init --depth 1 --recursive",
39 // Add the IDs of extensions you want installed when the container is created.postCreateCommand
41 // select nix environment
42 "arrterian.nix-env-selector",
45 //"fsevenm.run-it-on",
46 //"jnoortheen.nix-ide",
50 // Use 'forwardPorts' to make a list of ports inside the container available locally.
53 // Use 'postCreateCommand' to run commands after the container is created.
54 // "postCreateCommand": "go version",