From 27ee0b81c36c5692b5b9e8784d2ca29e2913c461 Mon Sep 17 00:00:00 2001
From: Shaun Setlock <shaunsetlock@protonmail.com>
Date: Sun, 29 Jun 2025 16:34:55 -0400
Subject: [PATCH] Change working directory to workspace at the end of docker
 build.

---
 tools/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/Dockerfile b/tools/Dockerfile
index ac2060a..714cc8b 100644
--- 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"]