fix: include cli-data-dir for improved caching of server setup

also user-data-dir is not a workspace directory
ahmadnassri · Nov 18, 2024 · 2027ef8 · 2027ef8
1 parent 0ab0e2d
commit 2027ef8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -34,7 +34,7 @@ EOF
 ENTRYPOINT [ "code", "serve-web", "--without-connection-token", "--accept-server-license-terms" ]
 
 # default arguments
-CMD [ "--host", "0.0.0.0", "--port", "8000", "--user-data-dir", "/root/workspace", "--server-data-dir", "/root/server", "--extensions-dir", "/root/extensions" ]
+CMD [ "--host", "0.0.0.0", "--port", "8000", "--cli-data-dir", "/root/.vscode/cli-data", "--user-data-dir", "/root/.vscode/user-data", "--server-data-dir", "/root/.vscode/server-data", "--extensions-dir", "/root/.vscode/extensions" ]
 
 HEALTHCHECK NONE