Build development environments from a Dockerfile on Docker, Kubernetes, and OpenShift. Enable developers to modify their development environment quickly.
If a user mounts a Docker volume into /home/$USER, Docker will automatically assign permissions root:root to it as the envbuilder container runs as root by default. The resulting container will then have /home/$USER owned by root:root. The user will be unable to write any files there until they manually fix the permissions, which would require root privileges.
This PR adds a step to fix ownership of /home/$USER to the uid:gid we get from UserInfo.
Fixes https://github.com/coder/envbuilder/issues/229
If a user mounts a Docker volume into
/home/$USER
, Docker will automatically assign permissionsroot:root
to it as theenvbuilder
container runs asroot
by default. The resulting container will then have/home/$USER
owned byroot:root
. The user will be unable to write any files there until they manually fix the permissions, which would require root privileges.This PR adds a step to fix ownership of
/home/$USER
to theuid:gid
we get fromUserInfo
.