devcontainer.json

{
  "name": "Mojo (nightly)",
  "build": {
    "dockerfile": "Mojo.Dockerfile",
    "args": {
      "UPSTREAM_REPOSITORY_URL": "https://github.com/modular/modular.git",
      "MODULAR_TELEMETRY_ENABLE": "unset-to-keep-disabled",
      "MODULAR_CRASHREPORTING_ENABLE": "unset-to-keep-disabled",
      "USE_ZSH_FOR_ROOT": "unset-to-use-bash",
      "LANG": "en_US.UTF-8",
      "TZ": "Etc/UTC"
    }
  },

  "initializeCommand": [".devcontainer/init"],
  "onCreateCommand": "onCreateCommand.sh",
  "postStartCommand": "${HOME}/.local/bin/dockerSystemPrune.sh",
  "postAttachCommand": "${HOME}/.local/bin/checkForUpdates.sh && postAttachCommand.sh",

  "features": {
    "ghcr.io/devcontainers/features/common-utils:2": {
      "configureZshAsDefaultShell": true,
      "upgradePackages": false,
      "username": "vscode",
      "userUid": "automatic",
      "userGid": "automatic"
    },
    "ghcr.io/devcontainers/features/docker-outside-of-docker:1": {
      "moby": false
    }
  },

  "customizations": {
    "vscode": {
      "extensions": [
        "DavidAnson.vscode-markdownlint",
        "/var/tmp/extensions/eamodio.gitlens-11.7.0.vsix",
        "editorconfig.editorconfig",
        "exiasr.hadolint",
        "GitHub.vscode-github-actions",
        "GitHub.vscode-pull-request-github",
        "mhutchie.git-graph",
        "modular-mojotools.vscode-mojo",
        "ms-azuretools.vscode-containers",
        "ms-python.black-formatter",
        "ms-python.python",
        "ms-toolsai.jupyter",
        "mutantdino.resourcemonitor",
        "redhat.vscode-yaml",
        "timonwong.shellcheck"
      ],
      "settings": {
        "chat.disableAIFeatures": true,
        "git.alwaysSignOff": true,
        "git.openRepositoryInParentFolders": "always",
        "gitlens.showWelcomeOnInstall": false,
        "gitlens.showWhatsNewAfterUpgrades": false,
        "resmon.show.battery": false,
        "resmon.show.cpufreq": false
      }
    }
  },

  // Set 'remoteUser' to 'root' to connect as root instead.
  "remoteUser": "vscode",
  "workspaceMount": "source=mojo-nightly-home-vscode,target=/home/vscode,type=volume",
  "workspaceFolder": "/home/vscode/projects/modular/modular/mojo",

  // "remoteUser": "root",
  // "workspaceMount": "source=mojo-nightly-root,target=/root,type=volume",
  // "workspaceFolder": "/root/projects/modular/modular/mojo",

  "remoteEnv": {
    // Local: Set URL for own repository
    // "OWN_REPOSITORY_URL": "git@github.com:$GITHUB_USER/modular.git",
    //
    // Pip: Install packages to the user site
    "PIP_USER": "1"
  }
}