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

More customizable eclipse jdt configuration #242

Closed
wants to merge 1 commit into from
Closed

More customizable eclipse jdt configuration #242

wants to merge 1 commit into from

Conversation

senatoreg
Copy link

Some changes to make Eclipse Jdt configuration more customizable. Particularly two variables to specify configuration directory and java home to be used to start Eclipse Jdt LS. I think they could be useful for example, in case of system installation of Eclipse JDT LS, which is my case of course.

Let me know.

@joaotavora
Copy link
Owner

Some changes to make Eclipse Jdt configuration more customizable

Is it so that one can launch somehow launch Eclipse Jdt in the project's home directory with some arguments and it will start working? Or is it still the case that one has to custom tailor the java command very tightly?

If the former, than we can start to to dismantle the Eclipse-specific function and move it into a nicer-behaving implementation base solely on eglot-server-programs.

If the latter case, these defcustoms are not going into eglot.el, so either:

  1. you put in a little work and implement Add convenience wrappers for starting the server from the command line eclipse-jdtls/eclipse.jdt.ls#748, I can't right now, but it shouldn't be very hard
  2. you create an eglot-eclipse.el library until someone creates 1.

@joaotavora joaotavora closed this Mar 22, 2019
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

Successfully merging this pull request may close these issues.

2 participants