Change working directory to workspace at the end of docker build.

2025-06-29 16:34:55 -04:00
parent 1d1f63a451
commit d301ab01a9
1 changed files with 1 additions and 1 deletions
--- a/tools/Dockerfile
+++ b/tools/Dockerfile
@@ -68,7 +68,7 @@ RUN chown -R shaun:shaun /workspace

 # Switch to non-root user
 USER shaun
-WORKDIR /home/shaun
+WORKDIR /workspace

 # Avoid container exit.
 CMD ["tail", "-f", "/dev/null"]