.devcontainer/devcontainer.json

   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
   4 {
   5   "name": "devcontainer-project",
   6   "dockerFile": "Dockerfile",
   7   "context": "${localWorkspaceFolder}",
   8   "build": {
   9     "args": {
  10       "USER_UID": "${localEnv:USER_UID}",
  11       "USER_GID": "${localEnv:USER_GID}"
  12     },
  13   },
  14
  15   // run arguments passed to docker
  16   "runArgs": [
  17     "--security-opt", "label=disable"
  18   ],
  19
  20   "containerEnv": {
  21      // extensions to preload before other extensions
  22     "PRELOAD_EXTENSIONS": "arrterian.nix-env-selector"
  23   },
  24
  25    // disable command overriding and updating remote user ID
  26   "overrideCommand": false,
  27   "userEnvProbe": "loginShell",
  28   "updateRemoteUserUID": false,
  29
  30   // build development environment on creation, make sure you already have shell.nix
  31   // "onCreateCommand": "nix-shell --command 'echo done building nix dev environment'",
  32
  33   "updateContentCommand": "git submodule update --init && nix-shell --command 'echo done building nix dev environment'",
  34
  35   // Add the IDs of extensions you want installed when the container is created.postCreateCommand
  36   "extensions": [
  37     // select nix environment
  38     "arrterian.nix-env-selector",
  39
  40     // extra extensions
  41     //"fsevenm.run-it-on",
  42     //"jnoortheen.nix-ide",
  43     //"ms-python.python"
  44   ],
  45
  46   // Use 'forwardPorts' to make a list of ports inside the container available locally.
  47   "forwardPorts": [],
  48
  49   // Use 'postCreateCommand' to run commands after the container is created.
  50   // "postCreateCommand": "go version",
  51 }