#0000 - Grant coder user ownership of /workspaces in Dockerfile #4

Merged

GuillaumeHemmen merged 1 commit from fix/workspaces-coder-ownership into master

2026-05-23 20:38:00 +00:00

GuillaumeHemmen commented

2026-05-23 20:35:16 +00:00

Owner

Summary

In the coder Docker stage, /workspaces was implicitly created by the WORKDIR directive and ended up owned by root, leaving the non-root coder user without write access to its own working directory.
Add an explicit mkdir -p /workspaces && chown -R coder:coder /workspaces step (run as root, before the USER coder switch) so the coder user has full rights to the directory at runtime.
Only the coder stage is affected; the ci stage runs as root and is unchanged.

## Summary - In the `coder` Docker stage, `/workspaces` was implicitly created by the `WORKDIR` directive and ended up owned by `root`, leaving the non-root `coder` user without write access to its own working directory. - Add an explicit `mkdir -p /workspaces && chown -R coder:coder /workspaces` step (run as root, before the `USER coder` switch) so the `coder` user has full rights to the directory at runtime. - Only the `coder` stage is affected; the `ci` stage runs as root and is unchanged.

GuillaumeHemmen added 1 commit

2026-05-23 20:35:16 +00:00