Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Set KOTLIN_HOME #430

Open
jayvdb opened this issue Dec 31, 2023 · 1 comment
Open

Set KOTLIN_HOME #430

jayvdb opened this issue Dec 31, 2023 · 1 comment

Comments

@jayvdb
Copy link

jayvdb commented Dec 31, 2023

It would be helpful if this action also set KOTLIN_HOME to the appropriate path.

I've run into several cases where tools require it to be set, or require a cli arg provided with this value. c.f. scijava/jgo#89

@fwilhe2
Copy link
Owner

fwilhe2 commented Dec 31, 2023

Hi @jayvdb

thanks for the suggestion. So far I've never encountered KOTLIN_HOME (sounds a lot like JAVA_HOME).

I'd be happy to have the action do this, but I'm not sure when I'll be doing it. Would you be able to provide a PR for the feature, or a failing test to verify it works when implemented?

Just out of curiosity, can you tell me what you're using this action for? Since kotlin is preinstalled on GitHub's runners now, the use-cases for this action became quite narrow and I don't really use it myself, so I'm not putting that much effort into maintenance as also I don't know of many "productive" users.

Happy new year (in 🇦🇺 at least 😅)

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

No branches or pull requests

2 participants