587 B
587 B
AI notes: publish JVM CLI updates with bin/local_jrelease
When a change affects the JVM CLI launcher used as jlyng, refresh the installed local distribution with:
bin/local_jrelease
Why:
jlyngin this repo is installed from~/bin/jlyng-jvm/lyng-jvm, not directly fromlyng/build/install.- Manual copying from Gradle build output can leave the actual launcher on
PATHstale. bin/local_jreleaserebuildslyng/build/distributions/lyng-jvm.zip, reinstalls it under~/bin/jlyng-jvm, and recreates the~/bin/jlyngsymlink.