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