devcontainer improvements (#31650)

This commit is contained in:
Justin Newberry
2024-02-29 17:14:24 -05:00
committed by GitHub
parent 5734d7c2bf
commit 7ec83c42f8
2 changed files with 5 additions and 3 deletions

View File

@@ -18,7 +18,6 @@
"--volume=${localWorkspaceFolder}/.devcontainer/.host/.Xauthority:/home/batman/.Xauthority",
"--volume=${localEnv:HOME}/.comma:/home/batman/.comma",
"--volume=/tmp/comma_download_cache:/tmp/comma_download_cache",
"--volume=/tmp/devcontainer_scons_cache:/tmp/scons_cache",
"--shm-size=1G",
"--add-host=host.docker.internal:host-gateway", // required to use host.docker.internal on linux
"--publish=0.0.0.0:8070-8079:8070-8079" // body ZMQ services
@@ -43,5 +42,8 @@
"lharri73.dbc"
]
}
}
},
"mounts": [
"type=volume,source=scons_cache,target=/tmp/scons_cache"
]
}