From 9bc9df0d329aaef0f9e2630f8f3c1765350f293a Mon Sep 17 00:00:00 2001 From: Thilo Graf Date: Sun, 7 Apr 2024 17:35:37 +0200 Subject: [PATCH] Dockerfile: ensure matching owners on user volume workdir --- Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index fdf8020..0a6c679 100644 --- a/Dockerfile +++ b/Dockerfile @@ -193,7 +193,8 @@ RUN echo "if [ ! -d ${START_PATH}/.git ]; then" >> ${CONTAINER_INIT_SCRIPT} && \ echo " rm -rf ${USER_DIR}/${BUILDENV_PREFIX}/tmp" >> ${CONTAINER_INIT_SCRIPT} && \ echo "else" >> ${CONTAINER_INIT_SCRIPT} && \ echo " echo 'Repository [${START_PATH}] already exists. Not touched!'" >> ${CONTAINER_INIT_SCRIPT} && \ - echo "fi" >> ${CONTAINER_INIT_SCRIPT} + echo "fi" >> ${CONTAINER_INIT_SCRIPT} && \ + echo "chown -R ${USER}:${USER_GROUP} ${USER_VOLUME_WORKDIR}" >> ${CONTAINER_INIT_SCRIPT} ## prepare profile COPY .bashrc ${USER_DIR}/.bashrc