Skip to content

Commit c324bf8

Browse files
krukowCopilot
andcommitted
fix: use JAVA_TOOL_OPTIONS to set user.home for sandbox JVM
tools.deps uses System.getProperty("user.home") to find the Maven local repo, not maven.repo.local. CLJ_JVM_OPTS may not reach the tools JVM either. JAVA_TOOL_OPTIONS is universally applied to all JVM processes, so -Duser.home=/home/runner ensures the tools JVM finds the mounted .m2/repository at the correct absolute path. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
1 parent 725b413 commit c324bf8

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

.github/workflows/copilot-setup-steps.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ jobs:
7373
# at those same absolute paths. Set env vars so bb's deps.clj
7474
# and the tools JVM use the absolute host paths instead of $HOME.
7575
echo "DEPS_CLJ_TOOLS_DIR=$HOME/.deps.clj" >> "$GITHUB_ENV"
76-
echo "CLJ_JVM_OPTS=-Dmaven.repo.local=$HOME/.m2/repository" >> "$GITHUB_ENV"
76+
echo "JAVA_TOOL_OPTIONS=-Duser.home=$HOME" >> "$GITHUB_ENV"
7777
# Ensure deps directories are readable by any user
7878
chmod -R a+rX ~/.m2/repository ~/.deps.clj 2>/dev/null || true
7979
- name: Install gh-aw extension

.github/workflows/daily-doc-updater.lock.yml

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)