You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi all, I started using VSCodium very recently and I tried to setup my VSCodium instance with Jedi language server support. However, the initialization time was pretty high, and there weren't any leads on the Python Language Server terminal tab except [info] WARNING:pygls.protocol:Cancel notification for unknown message id <id>.
I found that in the Configuration tab of the repo there are several configuration files, and I could start for instance ignoring certain directories that I fear might be delaying the analysis phase (like .git, which is included by default). However, I'm not sure how to enable those, since the configuration of the Jedi language server doesn't expose any of those. I tried manually changing them in the settings.json file but they weren't recognized by the configuration. My question would be:
Should I ignore the "unknown configuration settings" message? That is, if I set them in settings.json, are they being applied?
If not: would it be possible to support those in the language server configuration?
Thanks in advance!
The text was updated successfully, but these errors were encountered:
Hi all, I started using VSCodium very recently and I tried to setup my VSCodium instance with Jedi language server support. However, the initialization time was pretty high, and there weren't any leads on the
Python Language Server
terminal tab except[info] WARNING:pygls.protocol:Cancel notification for unknown message id <id>
.I found that in the Configuration tab of the repo there are several configuration files, and I could start for instance ignoring certain directories that I fear might be delaying the analysis phase (like
.git
, which is included by default). However, I'm not sure how to enable those, since the configuration of the Jedi language server doesn't expose any of those. I tried manually changing them in thesettings.json
file but they weren't recognized by the configuration. My question would be:settings.json
, are they being applied?Thanks in advance!
The text was updated successfully, but these errors were encountered: