Fixes for VS Code and the dev container. - VS Code no longer lets you mark the git repo as trusted before we run the start command. This causes the submodule clones to fail. As a work around, mark the repo as trusted on container creation. - Add the exercise to the set of things that we pregenerate the compile_commands.json for.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 39fcd51..5a38f98 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json
@@ -2,7 +2,7 @@ "image": "ghcr.io/cheriot-platform/devcontainer:latest", "remoteUser": "cheriot", "containerUser": "cheriot", - "onCreateCommand": "git submodule init && git submodule update && cd tests && xmake f --sdk=/cheriot-tools/ && xmake project -k compile_commands .. && cd .. && for I in examples/[[:digit:]]* ; do echo $I ; cd $I ; xmake f --sdk=/cheriot-tools/ && xmake project -k compile_commands . && cd ../.. ; done", + "onCreateCommand": "git config --global --add safe.directory /workspaces/cheriot-rtos && git submodule init && git submodule update && cd tests && xmake f --sdk=/cheriot-tools/ && xmake project -k compile_commands .. && cd .. && for I in ex*/[[:digit:]]* ; do echo $I ; cd $I ; xmake f --sdk=/cheriot-tools/ && xmake project -k compile_commands . && cd ../.. ; done", "customizations": { "vscode": { "extensions": [