mirrors/cmake
2
0
Fork 0
mirror of https://gitlab.kitware.com/cmake/cmake.git synced 2026-09-25 04:09:36 +03:00
Code Activity

devcontainer: Name the workspace path explicitly

Browse Source 
A tool that opens the container picks a workspace path of its own when
the configuration names none, and `.gitlab/ci/devcontainer-run.sh` mounts
the source tree at a path it spells itself.  The two disagreed: an editor
opened the tree at `/workspaces/cmake` while CI used the
`/home/cmake-dev/workspace` that `create_user.sh` prepares for it.  Say
which one it is, so that a path means the same thing everywhere.
This commit is contained in:
Taylor Braun-Jones
2026-09-09 18:35:56 -04:00
parent f8f4dc7f43
commit 3cfbea10e4
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.devcontainer/devcontainer.json
+7
View File
@@ -4,6 +4,13 @@
"dockerfile": "Dockerfile"
},
"remoteUser": "cmake-dev",
// Name the workspace path explicitly rather than take the default a tool
// picks for itself, so that the path is the same under every tool and in
// the CI job of `.gitlab/ci/devcontainer-run.sh`, which mounts the source
// tree itself. `create_user.sh` creates the directory and gives it to the
// container user.
"workspaceFolder": "/home/cmake-dev/workspace",
"workspaceMount": "source=${localWorkspaceFolder},target=/home/cmake-dev/workspace,type=bind",
"containerEnv": {
"GITLAB_HOST": "gitlab.kitware.com"
},