Devcontainer: initial windows support (#30168)

* windows support

* windows support
pull/30170/head
Justin Newberry 2 years ago committed by GitHub
parent 898acb13f2
commit d00832cb2b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .devcontainer/devcontainer.json
  2. 0
      .devcontainer/host_setup
  3. 10
      .devcontainer/host_setup.cmd

@ -5,7 +5,7 @@
}, },
"postCreateCommand": ".devcontainer/container_post_create.sh", "postCreateCommand": ".devcontainer/container_post_create.sh",
"postStartCommand": ".devcontainer/container_post_start.sh", "postStartCommand": ".devcontainer/container_post_start.sh",
"initializeCommand": ".devcontainer/host_setup.sh", "initializeCommand": [".devcontainer/host_setup"],
"privileged": true, "privileged": true,
"containerEnv": { "containerEnv": {
"DISPLAY": "${localEnv:DISPLAY}", "DISPLAY": "${localEnv:DISPLAY}",

@ -0,0 +1,10 @@
:: pull base image
IF NOT DEFINED USE_LOCAL_IMAGE ^
echo "Updating openpilot_base image if needed..." && ^
docker pull ghcr.io/commaai/openpilot-base:latest
:: setup .host dir
mkdir .devcontainer\.host
:: setup host env file
echo "" > .devcontainer\.host\.env
Loading…
Cancel
Save