Skip to content

Make daikon.bashrc ask javac or java for JAVA_HOME - #911

Closed
mernst wants to merge 2 commits into
codespecs:masterfrom
mernst:daikon-bashrc-java-home
Closed

Make daikon.bashrc ask javac or java for JAVA_HOME#911
mernst wants to merge 2 commits into
codespecs:masterfrom
mernst:daikon-bashrc-java-home

daikon.bashrc: require a JDK; find it quickly via symlinks; clearer e…

cf2d9dc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
kvasir_ubuntu_jdk25
succeeded Oct 11, 2026 in 21m 54s