![]() ![]() Use your platform appropriate package manager to install java. It sets JAVA_HOME inside your shell, in a way that can be set globally, local to the current working directory or per shell.This is useful when developing Android applications, which generally require Java 8 for its tools, versus server applications, which use later versions like Java 11. It lets you switch between java versions.Jenv gives you a few critical affordances for using java on development machines: This is an updated fork of jenv, a beloved Java environment manager adapted from rbenv. Whatever his decision, I thank him for his work, and to have convincing me to think about the future of jEnv and accepting a new maintainer for the good of the project. ![]() As he makes an incredible work by taking time to merge the Pull Request on his fork, I am in discussion with him to take part of jEnv directly if he wants. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |