Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Per project sdk configuration #683
Please tick one:
Please explain the Issue / Feature Request here:
Assume you have an environment managed with sdkman such as Java 11 by default, Maven 3.6.0 by default, etc.
jenv.io has such nice feature (https://github.com/linux-china/jenv#jenvrc-support): it's addressed through a
Proposed feature: being able to declare a
would setup the environment to java 1.8.0_112 and maven 3.5.3.
I would be keen on taking this a step further. How about we introduce a new top level
Say you opened a shell and then used
A proposal was also made by @EugenMayer that we add support for language specific descriptors like