.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   "hostRequirements": {
  21     "storage": "64gb"
  22   },
  23
  24   "containerEnv": {
  25      // extensions to preload before other extensions
  26     "PRELOAD_EXTENSIONS": "arrterian.nix-env-selector"
  27   },
  28
  29    // disable command overriding and updating remote user ID
  30   "overrideCommand": false,
  31   "userEnvProbe": "loginShell",
  32   "updateRemoteUserUID": false,
  33
  34   // build development environment on creation, make sure you already have shell.nix
  35   // "onCreateCommand": "nix-shell --command 'echo done building nix dev environment'",
  36
  37   "updateContentCommand": "git submodule update --init && nix-shell --command 'echo done building nix dev environment'",
  38
  39   // Add the IDs of extensions you want installed when the container is created.postCreateCommand
  40   "extensions": [
  41     // select nix environment
  42     "arrterian.nix-env-selector",
  43
  44     // extra extensions
  45     //"fsevenm.run-it-on",
  46     //"jnoortheen.nix-ide",
  47     //"ms-python.python"
  48   ],
  49
  50   // Use 'forwardPorts' to make a list of ports inside the container available locally.
  51   "forwardPorts": [],
  52
  53   // Use 'postCreateCommand' to run commands after the container is created.
  54   // "postCreateCommand": "go version",
  55 }