Relevance Confirmation

• I confirmed that this is not an issue with the Eclipse JDT Language Server itself

What happened?

When running under a corporate proxy, jlsp supports setting a proxy by setting the HTTP_PROXY and HTTPS_PROXY env variables. However there is no way to set this in this extension, I'd like to have this option.

What did you expect to happen?

I expected to be able to either

1. Add custom environment variables for the language server
2. Set a proxy somewhere in the settings (ideally get the proxy set for zed globally, but support for this is not there in the zed_extensions_api as far as I can tell)

The env solution is probably best

Environment

You don't actually require this for this issue, because I have tested a solution that sets the HTTP_PROXY variable, which does solve my issue.

---

Possible solutions

As I mentioned earlier, either a custom (documented) settings option or support for arbitrary custom env variables. I have implemented the first.

However I am aware that setting many initialization options (one for each supported build system) might circumvent the issue, setting the proxy for maven and gradle directly (setting it only in their respective configurations is not enough)... I have not verified this, and it doesn't seem like the ideal solution anyway.