From d63b2ce6bc093e7918be5fe30bc71d660d5f2180 Mon Sep 17 00:00:00 2001 From: Mike Landau Date: Fri, 13 Nov 2026 09:08:56 -0800 Subject: [PATCH] fix(docker): chown devbox binary with sudo in DevboxImageDockerfile The GitHub install.sh copies the binary into /usr/local/bin with sudo, so it ends up owned by root. The old get.jetify.com script moved a user-owned temp file into place, which kept the devbox user as owner, so the unprivileged chown that follows used to be a no-op. Now it fails with "Operation not permitted", which broke docker-image-release for 0.21.0. Co-Authored-By: Claude Opus 5.5 --- internal/devbox/generate/tmpl/DevboxImageDockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/internal/devbox/generate/tmpl/DevboxImageDockerfile b/internal/devbox/generate/tmpl/DevboxImageDockerfile index 74b52b31bcd..0ff859fe78f 100644 --- a/internal/devbox/generate/tmpl/DevboxImageDockerfile +++ b/internal/devbox/generate/tmpl/DevboxImageDockerfile @@ -30,7 +30,7 @@ ENV PATH="/home/${DEVBOX_USER}/.nix-profile/bin:$PATH" # Step 5: Installing devbox ENV DEVBOX_USE_VERSION=$DEVBOX_USE_VERSION RUN wget --quiet --output-document=/dev/stdout https://raw.githubusercontent.com/jetify-com/devbox/main/install.sh | bash -s -- -f -RUN chown -R "${DEVBOX_USER}:${DEVBOX_USER}" /usr/local/bin/devbox +RUN sudo chown -R "${DEVBOX_USER}:${DEVBOX_USER}" /usr/local/bin/devbox # run a devbox command to make launcher download devbox binary RUN devbox version