-
Notifications
You must be signed in to change notification settings - Fork 1.3k
Allow to use Jedi language server in system environment or virtual environments #25697
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
base: main
Are you sure you want to change the base?
Conversation
|
@microsoft-github-policy-service agree |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for the PR! Would be great to get a test for this item and then otherwise a few comments if you could address. Additionally linting is failing if you could get that fixed too- thanks!
|
One other question, did you have an issue regarding this feature? We link an issue to track status and the issue usually outlines the problem and steps to reproduce for tracking. I can make one if not |
I would like to, for the test, I should take a look to see if there is a good way for it.
That's my fault, I forgot to run prettier. |
In fact, there is no direct issue for this, but I got a reminder when I raise the issue davidhalter/jedi#2084, as there is no way for me to test the change. |
…vironments As this extension uses an internal Jedi LSP, it is hard for the users to change the jedi setting to adapt various requirements. And in some cases, the user require a specific version of the Jedi, which is hard to change as it is embedded. Add a new configuration property to allow the users to use Jedi LSP in their system environment or virtual environments, and auto fallback to the internal version if the external version is not found. Signed-off-by: Inochi Amaoto <inochiama@gmail.com>
cbe8d68 to
db2dd2b
Compare
Any suggestion for the test? I have no idea for this PR as it is very simple. It is just add a new variable and chained to the script. |
|
@eleanorjboyd I also change the key to the |
As this extension uses an internal Jedi LSP, it is hard for the users to change the jedi setting to adapt various requirements. And in some cases, the user require a specific version of the Jedi, which is hard to change as it is embedded.
Add a new configuration property to allow the users to use Jedi LSP in their system environment or virtual environments, and auto fallback to the internal version if the external version is not found.
fixes: #25722