-
Notifications
You must be signed in to change notification settings - Fork 15
Description
It should be possible to start containers with a username as string instead of user id (integer).
See:
https://github.com/eclipsesource/theia-cloud-helm/blob/2c7fe9eb083c4223fafafea1967df3924a4d5088/charts/theia-cloud-crds/templates/appdefinition-spec-resource.yaml#L42C19-L42C32
In some cases, (theia) images are created with e.g. RUN adduser theia, leaving the responsibility of assigning a UID to the underlying OS. Although uncommon, it could also be the case that this is not the first user that is created. So, the Custom Resource should accept the username as parameter to create the resources.
I have had the case where user 'theia' was assigned the UID 104 during image build for some reason I do not know. And 'messagebus' was UID 101. Theia Cloud initiated the workspace with uid ('messagebus'), but the workspace owner was 'theia'. As a user, it was impossible to modify any file in the workspace due to "Permission denied". The workaround is to force selection of UID 101 in the workspace dockerfile by using RUN adduser --system --uid 101 --group theia, because passing the username 'theia' to Theia Cloud is currently not possible.