Skip to content

fix: Adds JDK 17 workaround for userHome - #570

Merged
eed3si9n merged 1 commit into
sbt:1.13.xfrom
eed3si9n:wip/userhome
Oct 4, 2026
Merged

eed3si9n merged 1 commit into
sbt:1.13.xfrom
eed3si9n:wip/userhome

Conversation

@eed3si9n

@eed3si9n eed3si9n commented Oct 3, 2026 •

Copy link
Copy Markdown
Member

Ref sbt/sbt#9865

Problem

JDK 17 sometimes falls back sys.props("user.home") to using "?" per JDK-8280357.

Solution

This falls back to using HOME env variable and temp dir.

**Problem**
JDK 17 sometimes falls back to using "?" as user.home
per JDK-8280357.

**Solution**
This fallsback to using HOME env variable and temp dir.
@eed3si9n
eed3si9n merged commit 7838212 into sbt:1.13.x Oct 4, 2026
8 checks passed
@eed3si9n
eed3si9n deleted the wip/userhome branch October 4, 2026 00:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant